Update Makefile and Z3 auto-compilation

.gitignore

@@ -3,6 +3,7 @@
 __pycache__/
 g.smt2
 *.smt2
+*.o
 slides/
 **/prev/
 multiseq_alignment/original_betterconcat.fasta

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "recognizer/z3"]
+	path = recognizer/z3
+	url = https://github.com/Z3Prover/z3

recognizer/Makefile

@@ -0,0 +1,29 @@
+CXX = g++
+CFLAGS = -std=c++17 -lstdc++fs -pthread -O3
+SRCDIR = ./src
+Z3DIR = ./z3
+SRC = $(shell find $(SRCDIR) -name '*.cpp')
+OBJ = $(SRC:%.cpp=%.o)
+STATIC_LIB = $(Z3DIR)/lib/libz3.a
+INCLUDE=-I $(Z3DIR)/include/
+EXE = recognizer
+
+.PHONY: z3 clean
+
+$(EXE): $(OBJ)
+	@echo "> Compiling $(EXE)"
+	@$(CXX) $^ -o $(EXE) $(CFLAGS) $(STATIC_LIB) $(INCLUDE) -w
+	@mkdir -p ../bin; cp $(EXE) ../bin
+	@echo $(EXE) copied to ../bin
+
+%.o: %.cpp
+	@echo "> Compiling $^"
+	@$(CXX) $(CFLAGS) -c $(INCLUDE) $< -o $@
+
+z3:
+	@cd $(Z3DIR); python3 scripts/mk_make.py -p ../ --staticlib
+	@cd $(Z3DIR)/build; make -j4; sudo make install
+
+clean:
+	@rm $(EXE) $(OBJ)
+