From a191d0fde2dc995479579626cc4699ecff7829b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= <matthias.guedemann@diffblue.com>
Date: Tue, 2 May 2017 21:03:35 +0200
Subject: [PATCH] complete Makefile with aiger folder as dependency for ebmc

---
 src/Makefile     | 4 ++--
 src/ic3/Makefile | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 8ca99032a..6a844b0a5 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,4 +1,4 @@
-SUBDIRS = ebmc hw-cbmc trans-word-level trans-netlist verilog vhdl smvlang ic3
+SUBDIRS = ebmc hw-cbmc trans-word-level trans-netlist verilog vhdl smvlang ic3 aiger
 
 all: hw-cbmc ebmc
 
@@ -10,7 +10,7 @@ $(SUBDIRS):
 
 # Dependencies
 
-ebmc: trans-word-level trans-netlist verilog vhdl smvlang ic3
+ebmc: trans-word-level trans-netlist verilog vhdl smvlang ic3 aiger
 
 hw-cbmc: trans-word-level trans-netlist verilog vhdl smvlang
 
diff --git a/src/ic3/Makefile b/src/ic3/Makefile
index b7033fcb3..c78bfb679 100644
--- a/src/ic3/Makefile
+++ b/src/ic3/Makefile
@@ -1,4 +1,4 @@
-CXXFLAGS = -std=c++0x  -Wno-literal-suffix -Wno-write-strings -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 $(INC_DIR)
+CXXFLAGS = -Wno-literal-suffix -Wno-write-strings -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 $(INC_DIR)
 CXFLAGS = $(INC_DIR)
 CFLAGS =   -O3  $(INC_DIR) 
 CXX = g++
@@ -16,9 +16,9 @@ vpath %.hh build_prob
 
 include ../config.inc
 
-MINISAT_INC = -Iminisat
+MINISAT_INC = minisat
 
-INC_DIR = -I. -Ibuild_prob -Iseq_circ $(MINISAT_INC) -I$(CBMC)/src -I../ -I../ebmc -I../trans-netlist
+INC_DIR = -I. -Ibuild_prob -Iseq_circ -I$(MINISAT_INC) -I$(CBMC)/src -I../ -I../ebmc -I../trans-netlist
 
 OBJ_DIR = .