HelloWorld.v
-no-install
-custom
	"@echo '********* Test on one example **********'
	ocaml hello.ml
	@echo '************ End of test ***************'"
  "" hello

