Commit 6f3bb618 authored by MARCHE Claude's avatar MARCHE Claude

missing Makefile

parent 9bccbb9f
WHY3SHARE=$(shell ../../bin/why3 --print-datadir)
include $(WHY3SHARE)/Makefile.config
MAIN=main
OBJ=vstte10_max_sum__MaxAndSum2 vstte10_max_sum__TestCase
......@@ -8,17 +12,15 @@ CMX = $(addsuffix .cmx, $(OBJ))
OCAMLOPT=ocamlopt -noassert -inline 1000
INCLUDE=@BIGINTINCLUDE@ -I ../../lib/why3
all: $(MAIN).@OCAMLBEST@
all: $(MAIN).opt
extract: $(ML)
$(MAIN).byte: $(CMO) $(MAIN).cmo
ocamlc $(INCLUDE) @BIGINTLIB@.cma why3extract.cma -o $@ $^
ocamlc $(INCLUDE) $(BIGINTLIB).cma why3extract.cma -o $@ $^
$(MAIN).opt: $(CMX) $(MAIN).cmx
$(OCAMLOPT) $(INCLUDE) @BIGINTLIB@.cmxa why3extract.cmxa -o $@ $^
$(OCAMLOPT) $(INCLUDE) $(BIGINTLIB).cmxa why3extract.cmxa -o $@ $^
$(MAIN).cmx: $(CMX)
......
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