CURRENT_DIR = $(shell pwd)
BUILD_DIR = $(CURRENT_DIR)/build
SRC_DIR_CPP = $(CURRENT_DIR)/src/cpp
SRC_DIR_PYTHON = $(CURRENT_DIR)/src/python
$(CXX) = g++


all : CXX += -O3 -Wno-unused-result
all : $(BUILD_DIR)/anant

debug: CXX += -g
debug: anant

$(BUILD_DIR)/anant: $(SRC_DIR_CPP)/test_capi_tnt.cpp $(SRC_DIR_CPP)/termination.cpp $(SRC_DIR_PYTHON)/lexerAnant.py $(SRC_DIR_PYTHON)/lexerConcrete.py $(SRC_DIR_PYTHON)/lexerFormula.py $(SRC_DIR_PYTHON)/lexert2lasso.py $(SRC_DIR_PYTHON)/parserAnant.py  $(SRC_DIR_PYTHON)/parserConcrete.py  $(SRC_DIR_PYTHON)/parserFormula.py $(SRC_DIR_PYTHON)/t2lassoParser.py $(SRC_DIR_PYTHON)/t2parser.py $(CURRENT_DIR)/util/exec.sh
	mkdir -p $(BUILD_DIR)
	cp $(CURRENT_DIR)/util/exec.sh $(BUILD_DIR)/
	cp $(CURRENT_DIR)/util/interproc $(BUILD_DIR)/
	cp  $(SRC_DIR_PYTHON)/*.py $(BUILD_DIR)/
	$(CXX) -fopenmp -static -o $(BUILD_DIR)/anant $(SRC_DIR_CPP)/test_capi_tnt.cpp -I $(CURRENT_DIR)/z3 -L$(CURRENT_DIR)/z3 $(SRC_DIR_CPP)/termination.cpp -lz3 -lrt

clean:
	rm -r $(BUILD_DIR)
