CPP=g++
CFLAGS =  -c -DQE -DSKOLEM
#GPROF = true
VALGRIND = true
ifdef GPROF
  CFLAGS += -pg
  OPTFLAGS = -pg
endif
ifdef VALGRIND
  CFLAGS += -g 
  OPTFLAGS += -g 
endif

#ABC_PATH = /home/ajith/ABC/ABC_from_Dinesh/abc#in BARC-server for dinesh's version of abc
#ABC_PATH = /home/ajith/ABC/alanmi-abc-376aefd8fcdc#in BARC-server for latest version of abc
#ABC_PATH = /home/ajith/abc#in laptop for dinesh's version of abc
ABC_PATH = /home/ajith/abc_latest/alanmi-abc-376aefd8fcdc#in laptop for latest version of abc

#LIBS = -lm -ldl -lreadline -lpthread -lrt $(ABC_PATH)/libabc.a#in BARC-server
#LIBS = -lm -lpthread -lrt $(ABC_PATH)/libabc.a -lreadline -ldl#in laptop for dinesh's version of abc
LIBS = -lm -lpthread $(ABC_PATH)/libabc.a -lreadline -ldl -lrt#in laptop for latest version of abc

DM_DIR = ../DAGManager
EM_DIR = ../ExpressionManager
HM_DIR = ../HashTableManager
LM_DIR = ../LogManager
CO_DIR = ../Common
QE_DIR = ../QEliminationManager
CONFIG_DIR = ../ConfigurationOptions
SK_DIR = ../SkolemGenerationManager

YACC = bison
YFLAGS = -d -v
LEX = flex
PREFIX = SMT

OBJS = $(PREFIX).tab.o $(PREFIX).yy.o TestQEProject.o $(HM_DIR)/HashTable_WithStandardKeys.o $(EM_DIR)/ExpressionManager.o $(EM_DIR)/Expression.o $(EM_DIR)/InferTypeOfExpression.o $(EM_DIR)/ExpressionAsDAG.o $(EM_DIR)/ExpressionValue.o $(EM_DIR)/InvalidBitManager.o $(EM_DIR)/ExpressionEvaluator.o $(EM_DIR)/inferencerule_parser.tab.o $(EM_DIR)/inferencerule_parser.yy.o $(EM_DIR)/NewBV.o $(DM_DIR)/AdvancedDAGManipulation.o $(DM_DIR)/DagManager.o $(DM_DIR)/DAGNode.o $(DM_DIR)/DAGSimplifier.o $(DM_DIR)/MatchingFunctions.o $(DM_DIR)/rules_parser.tab.o $(DM_DIR)/rules_parser.yy.o $(DM_DIR)/Strategies.o $(DM_DIR)/yacc_utils.o $(CO_DIR)/helping_functions.o $(LM_DIR)/LogManager.o  $(DM_DIR)/GC.o $(QE_DIR)/Project.o $(QE_DIR)/Monniaux.o  $(QE_DIR)/ExpressionMisc.o  $(CONFIG_DIR)/ConfigurationOptions.o $(SK_DIR)/AbcApi.o $(SK_DIR)/Graph.o $(SK_DIR)/helper.o $(SK_DIR)/Skolem.o $(SK_DIR)/AIGBasedSkolem.o $(SK_DIR)/generator.o $(SK_DIR)/undr_graph.o

all: $(OBJS)
	
	$(CPP) $(OPTFLAGS) -o ExpressionManger-Based-SkolemFunctionGenerator $(OBJS) $(LIBS)

$(PREFIX).tab.o: $(PREFIX).tab.c
	$(CPP) $(CFLAGS) $(PREFIX).tab.c -I $(DM_DIR) -I $(EM_DIR) -I $(HM_DIR) -I $(LM_DIR) -I $(CO_DIR) -I $(QE_DIR)  -I $(CONFIG_DIR)

$(PREFIX).tab.c: SMT.y
	$(YACC) $(YFLAGS) -b $(PREFIX) -p $(PREFIX) SMT.y

$(PREFIX).yy.o: $(PREFIX).yy.c $(PREFIX).tab.h
	$(CPP) $(CFLAGS) $(PREFIX).yy.c -I $(DM_DIR) -I $(EM_DIR) -I $(HM_DIR) -I $(LM_DIR) -I $(CO_DIR) -I $(QE_DIR)  -I $(CONFIG_DIR)

$(PREFIX).yy.c: SMT.lex
	$(LEX) -o$(PREFIX).yy.c -P$(PREFIX) SMT.lex


TestQEProject.o : TestQEProject.cc
	$(CPP) $(CFLAGS) TestQEProject.cc -I $(ABC_PATH)/src -DLIN64 -I $(DM_DIR) -I $(EM_DIR) -I $(HM_DIR) -I $(LM_DIR) -I $(CO_DIR) -I $(QE_DIR) -I $(CONFIG_DIR) -I $(SK_DIR)

clean:
	rm -f $(PREFIX).tab.? $(PREFIX).yy.? $(PREFIX).output TestQEProject.o ExpressionManger-Based-SkolemFunctionGenerator