-
Notifications
You must be signed in to change notification settings - Fork 46
/
makefile
135 lines (127 loc) · 7.61 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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
PROC=goomba
GOALS += $(R)libz3$(DLLEXT)
O2=heuristics
O3=smt_convert
O4=linear_exprs
O5=msynth_parser
O6=bitwise_expr_lookup_tbl
O7=optimizer
O8=equiv_class
O9=file
CONFIGS=goomba.cfg
include ../plugin.mak
ifeq ($(THIRD_PARTY),)
# building outside of Hex-Rays tree, use a local z3 build
Z3_BIN = z3/bin/
Z3_INCLUDE = z3/include/
endif
ifdef __MAC__
POSTACTION=install_name_tool -change libz3.dylib @executable_path/libz3.dylib $@
endif
ifdef __NT__
# link to the import library on Windows
STDLIBS += $(Z3_BIN)libz3.lib
else
# link directly to dylib/shared object on Unix
STDLIBS += -L$(R) -lz3
endif
$(F)$(PROC)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O2)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O3)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O4)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O5)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O6)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O7)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O8)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(O9)$(O): CC_INCP += $(Z3_INCLUDE) $(Z3_INCLUDE)c++
$(F)$(PROC)$(O): $(R)libz3$(DLLEXT)
$(R)libz3$(DLLEXT): $(Z3_BIN)libz3$(DLLEXT)
$(Q)$(CP) $? $@
# MAKEDEP dependency list ------------------
$(F)bitwise_expr_lookup_tbl$(O): $(I)bitrange.hpp $(I)bytes.hpp \
$(I)config.hpp $(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp \
$(I)hexrays.hpp $(I)ida.hpp $(I)idp.hpp $(I)ieee.h \
$(I)kernwin.hpp $(I)lines.hpp $(I)llong.hpp \
$(I)loader.hpp $(I)nalt.hpp $(I)name.hpp $(I)netnode.hpp \
$(I)pro.h $(I)range.hpp $(I)segment.hpp $(I)typeinf.hpp \
$(I)ua.hpp $(I)xref.hpp bitwise_expr_lookup_tbl.cpp \
bitwise_expr_lookup_tbl.hpp consts.hpp linear_exprs.hpp \
mcode_emu.hpp minsn_template.hpp smt_convert.hpp \
z3++_no_warn.h
$(F)equiv_class$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
bitwise_expr_lookup_tbl.hpp consts.hpp equiv_class.cpp \
equiv_class.hpp heuristics.hpp lin_conj_exprs.hpp \
linear_exprs.hpp mcode_emu.hpp minsn_template.hpp \
msynth_parser.hpp optimizer.hpp simp_lin_conj_exprs.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)file$(O) : $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp $(I)fpro.h \
$(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp $(I)ida.hpp \
$(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp $(I)lines.hpp \
$(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp $(I)name.hpp \
$(I)netnode.hpp $(I)pro.h $(I)range.hpp $(I)segment.hpp \
$(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
bitwise_expr_lookup_tbl.hpp consts.hpp equiv_class.hpp \
file.cpp file.hpp heuristics.hpp lin_conj_exprs.hpp \
linear_exprs.hpp mcode_emu.hpp minsn_template.hpp \
msynth_parser.hpp simp_lin_conj_exprs.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)goomba$(O) : $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp $(I)err.h \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
bitwise_expr_lookup_tbl.hpp consts.hpp equiv_class.hpp \
file.hpp goomba.cpp heuristics.hpp lin_conj_exprs.hpp \
linear_exprs.hpp mcode_emu.hpp minsn_template.hpp \
msynth_parser.hpp optimizer.hpp simp_lin_conj_exprs.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)heuristics$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
heuristics.cpp heuristics.hpp linear_exprs.hpp \
mcode_emu.hpp smt_convert.hpp z3++_no_warn.h
$(F)linear_exprs$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
linear_exprs.cpp linear_exprs.hpp mcode_emu.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)msynth_parser$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
consts.hpp linear_exprs.hpp mcode_emu.hpp \
minsn_template.hpp msynth_parser.cpp msynth_parser.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)optimizer$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
bitwise_expr_lookup_tbl.hpp consts.hpp equiv_class.hpp \
heuristics.hpp lin_conj_exprs.hpp linear_exprs.hpp \
mcode_emu.hpp minsn_template.hpp msynth_parser.hpp \
optimizer.cpp optimizer.hpp simp_lin_conj_exprs.hpp \
smt_convert.hpp z3++_no_warn.h
$(F)smt_convert$(O): $(I)bitrange.hpp $(I)bytes.hpp $(I)config.hpp \
$(I)fpro.h $(I)funcs.hpp $(I)gdl.hpp $(I)hexrays.hpp \
$(I)ida.hpp $(I)idp.hpp $(I)ieee.h $(I)kernwin.hpp \
$(I)lines.hpp $(I)llong.hpp $(I)loader.hpp $(I)nalt.hpp \
$(I)name.hpp $(I)netnode.hpp $(I)pro.h $(I)range.hpp \
$(I)segment.hpp $(I)typeinf.hpp $(I)ua.hpp $(I)xref.hpp \
mcode_emu.hpp smt_convert.cpp smt_convert.hpp \
z3++_no_warn.h