From 73fa920959d22c084265fe847f4788564bf49700 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 7 May 2014 16:13:31 +0200
Subject: Achieve nothing.

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

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:
-- 
cgit v1.2.3