From 860ad2752ef0544bc6874d895875a78f91db9084 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 17 Jun 2014 09:48:22 +0200
Subject: Add AST for logical formula.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 62245ae..681b651 100644
--- a/Makefile
+++ b/Makefile
@@ -1,17 +1,18 @@
 .PHONY: clean
 
 BIN=analyze
-SRCDIRS=libs,frontend,interpret
+SRCDIRS=libs,frontend,interpret,abstract
 
 SRC= 	main.ml \
 		frontend/ast.ml \
 		frontend/parser.mly \
 		frontend/lexer.mll \
 		frontend/ast_printer.ml \
-		interpret/data.ml \
+		abstract/formula.ml \
+		abstract/formula_printer.ml \
 		interpret/bad_interpret.ml \
 		interpret/interface.ml \
-		interpret/interpret2.ml \
+		interpret/interpret.ml \
 		interpret/rename.ml
 
 all: $(BIN)
@@ -23,4 +24,5 @@ $(BIN): $(SRC)
 	mv main.native $(BIN)
 
 clean:
-	rm -rf _build
+	rm $(BIN)
+	ocamlbuild -clean
-- 
cgit v1.2.3