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