-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile
80 lines (77 loc) · 3.47 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
# Author: Michael J. Fischer
# Date: September 4, 2018
# Modified by Ferhat Erata <[email protected]> on October 10, 2019
#-----------------------------------------------------------
# Macro definitions
CXXFLAGS = -O2 -std=c++17
OBJ = tools.o vcgen.o imp/imp-driver.o imp/ast/imp.o \
imp/recognizer/imp-parser.o imp/recognizer/imp-scanner.o \
gc/gc-driver.o gc/recognizer/gc-parser.o gc/ast/gc.o \
gc/recognizer/gc-scanner.o solver/z3-solver.o
# gc/test.o
TARGET = vcgen
#-----------------------------------------------------------
# Rules
all: $(TARGET)
$(TARGET): $(OBJ)
$(CXX) -o $@ $(OBJ)
debug: CXXFLAGS += -DDEBUG -g -Wall
debug: $(TARGET)
clean:
rm -f $(OBJ) $(TARGET) $(DEBUG) *.gc *.gc.smt *.gc.smt.out
#-----------------------------------------------------------
# Dependencies
# c++ -MM *.cpp >> Makefile
# c++ -MM imp/*.cpp >> Makefile
# c++ -MM imp/ast/*.cpp >> Makefile
# c++ -MM imp/recognizer/*.cpp >> Makefile
# ---
# c++ -MM gc/*.cpp >> Makefile
# c++ -MM gc/recognizer/*.cpp >> Makefile
# c++ -MM gc/ast/*.cpp >> Makefile
# ---
# c++ -MM solver/*.cpp >> Makefile
tools.o: tools.cpp tools.hpp
vcgen.o: vcgen.cpp gc/compiler/smt-compiler.hpp \
gc/compiler/../ast/visitor.hpp gc/compiler/../ast/gc.hpp \
gc/gc-driver.hpp gc/recognizer/gc-parser.hpp gc/recognizer/../ast/gc.hpp \
gc/recognizer/location.hh imp/ast/printer-visitor.hpp \
imp/ast/visitor.hpp imp/ast/imp.hpp imp/compiler/gc-compiler.hpp \
imp/compiler/../ast/visitor.hpp imp/imp-driver.hpp \
imp/recognizer/imp-parser.hpp imp/recognizer/../ast/imp.hpp \
imp/recognizer/location.hh solver/z3-solver.hpp tools.hpp
imp-driver.o: imp/imp-driver.cpp imp/imp-driver.hpp \
imp/recognizer/imp-parser.hpp imp/recognizer/../ast/imp.hpp \
imp/recognizer/../ast/visitor.hpp imp/recognizer/../ast/imp.hpp \
imp/recognizer/location.hh imp/ast/imp.hpp
imp.o: imp/ast/imp.cpp imp/ast/imp.hpp imp/ast/../../tools.hpp \
imp/ast/visitor.hpp
imp-parser.o: imp/recognizer/imp-parser.cpp imp/recognizer/imp-parser.hpp \
imp/recognizer/../ast/imp.hpp imp/recognizer/../ast/visitor.hpp \
imp/recognizer/../ast/imp.hpp imp/recognizer/location.hh \
imp/recognizer/../imp-driver.hpp \
imp/recognizer/../recognizer/imp-parser.hpp
imp-scanner.o: imp/recognizer/imp-scanner.cpp \
imp/recognizer/../imp-driver.hpp \
imp/recognizer/../recognizer/imp-parser.hpp \
imp/recognizer/../recognizer/../ast/imp.hpp \
imp/recognizer/../recognizer/../ast/visitor.hpp \
imp/recognizer/../recognizer/../ast/imp.hpp \
imp/recognizer/../recognizer/location.hh imp/recognizer/imp-parser.hpp
gc-driver.o: gc/gc-driver.cpp gc/gc-driver.hpp \
gc/recognizer/gc-parser.hpp gc/recognizer/../ast/gc.hpp \
gc/recognizer/location.hh gc/ast/gc.hpp
test.o: gc/test.cpp gc/ast/printer-visitor.hpp gc/ast/visitor.hpp \
gc/ast/gc.hpp gc/compiler/smt-compiler.hpp \
gc/compiler/../ast/visitor.hpp gc/gc-driver.hpp \
gc/recognizer/gc-parser.hpp gc/recognizer/../ast/gc.hpp \
gc/recognizer/location.hh gc/../solver/z3-solver.hpp gc/../tools.hpp
gc-parser.o: gc/recognizer/gc-parser.cpp gc/recognizer/gc-parser.hpp \
gc/recognizer/../ast/gc.hpp gc/recognizer/location.hh \
gc/recognizer/../gc-driver.hpp gc/recognizer/../recognizer/gc-parser.hpp
gc-scanner.o: gc/recognizer/gc-scanner.cpp gc/recognizer/../gc-driver.hpp \
gc/recognizer/../recognizer/gc-parser.hpp \
gc/recognizer/../recognizer/../ast/gc.hpp \
gc/recognizer/../recognizer/location.hh gc/recognizer/gc-parser.hpp
gc.o: gc/ast/gc.cpp gc/ast/gc.hpp gc/ast/../../tools.hpp
z3-solver.o: solver/z3-solver.cpp solver/z3-solver.hpp