From 79bf56c809e727ed763e698386163706be2db0a7 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 3 Jul 2014 14:36:20 +0200
Subject: Add ABRO example ; correct interpret bug.

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 87a438c..3e5d01a 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,8 @@ all: $(BIN)
 $(BIN): $(SRC)
 	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 unix.cmxa' \
-		    main.native
+		    main.native \
+			-classic-display
 	mv main.native $(BIN)
 
 clean:
-- 
cgit v1.2.3