1 files changed, 3 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index 640da3b..0f09d87 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,12 @@
 .PHONY: clean
 
 BIN=analyze
-SRCDIRS=libs,frontend
+SRCDIRS=libs,frontend,abstract
 
 all: $(BIN)
 
-$(BIN): main.ml
-	ocamlbuild -Is $(SRCDIRS) main.native
+$(BIN): main.ml abstract/domain.ml abstract/constant_domain.ml
+	ocamlbuild -Is $(SRCDIRS) -cflags '-I /usr/lib/ocaml/zarith' -lflags '-I /usr/lib/ocaml/zarith zarith.cmxa' main.native
 	mv main.native $(BIN)
 
 clean: