euler001/Makefile is regenerated when Makefile.in is modified

parent 78db8905
......@@ -171,7 +171,7 @@ module Euler001
let run () = solve 1000
(* should return 233168 *)
exception BenchFailure
exception BenchFailure
let bench () raises { BenchFailure -> true } =
let x = run () in
......
......@@ -8,7 +8,7 @@ NAME=main
OCAMLOPT=ocamlopt -noassert -inline 1000
INCLUDE=@BIGINTINCLUDE@ -I ../../lib/why3
INCLUDE=@BIGINTINCLUDE@ -I ../../lib/why3
all: $(NAME).@OCAMLBEST@
......@@ -23,15 +23,19 @@ main.cmx: euler001__Euler001.cmx
euler001__Euler001.ml: ../euler001.mlw
../../bin/why3 -E ocaml ../euler001.mlw -o .
%.cmx: %.ml
%.cmx: %.ml
ocamlopt $(INCLUDE) -annot -c $<
%.cmo: %.ml
%.cmo: %.ml
ocamlc $(INCLUDE) -annot -c $<
%.cmi: %.mli
%.cmi: %.mli
ocamlc $(INCLUDE) -annot -c $<
clean::
rm -f *.cm[xio] $(NAME).opt
rm -f *.cm[xio] *.o *.annot $(NAME).opt
rm -f euler001__*.ml euler001__*.ml.bak
Makefile: Makefile.in ../../config.status
cd ../.. ; ./config.status chmod --file examples/euler001/Makefile
......@@ -18,5 +18,5 @@ let input_num =
let () =
let a = Euler001__Euler001.solve input_num in
printf "The sum of all the multiples of 3 or 5 below %s is %s@."
printf "The sum of all the multiples of 3 or 5 below %s is %s@."
(Why3__BigInt.to_string input_num) (Why3__BigInt.to_string a)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment