summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 681b651..69bf0ce 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ SRC= main.ml \
frontend/ast_printer.ml \
abstract/formula.ml \
abstract/formula_printer.ml \
+ abstract/transform.ml \
interpret/bad_interpret.ml \
interpret/interface.ml \
interpret/interpret.ml \
@@ -18,8 +19,8 @@ SRC= main.ml \
all: $(BIN)
$(BIN): $(SRC)
- ocamlbuild -Is $(SRCDIRS) -cflags '-I +zarith -I +apron -I +gmp' \
- -lflags '-I +zarith -I +apron -I +gmp zarith.cmxa bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa' \
+ ocamlbuild -Is $(SRCDIRS) -cflags '-I +zarith -I +apron -I +gmp -I +str' \
+ -lflags '-I +zarith -I +apron -I +gmp -I +str str.cmxa zarith.cmxa bigarray.cmxa gmp.cmxa apron.cmxa polkaMPQ.cmxa' \
main.native
mv main.native $(BIN)