Skip to content

GitLab

why3
why3
Commit ac92aef1 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files
Options

fixed Makefile for euler001

parent 55e0e0f9
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
examples/euler001/Makefile.in
View file @ ac92aef1
......@@ -23,7 +23,7 @@ $(MAIN).opt: $(CMX) $(MAIN).cmx
$(MAIN).cmx: $(CMX)
$(ML): ../euler001.mlw
../../bin/why3 -E ocaml ../euler001.mlw -o .
../../bin/why3 -E ocaml32 ../euler001.mlw -o .
%.cmx: %.ml
$(OCAMLOPT) $(INCLUDE) -annot -c $<
......
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