From ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 17 Jun 2014 15:31:47 +0200
Subject: Add bindings to apron. Next : work on abstract interpret.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 69bf0ce..2b6f7c6 100644
--- a/Makefile
+++ b/Makefile
@@ -11,9 +11,11 @@ SRC= 	main.ml \
 		abstract/formula.ml \
 		abstract/formula_printer.ml \
 		abstract/transform.ml \
-		interpret/bad_interpret.ml \
-		interpret/interface.ml \
+		abstract/environment_domain.ml \
+		abstract/apron_domain.ml \
+		abstract/abs_interp.ml \
 		interpret/interpret.ml \
+		interpret/ast_util.ml \
 		interpret/rename.ml
 
 all: $(BIN)
-- 
cgit v1.2.3