1
include ../../Config.tmpl
3
PSOBJECTS = pschecks.o\
12
STOBJECTS = decisionpoint.o\
27
# uncomment the next lines to include experimental translation to model checkers
28
#STOBJECTS += eventset.o\
35
#CFLAGS += -DMODELCHECK
37
SCOBJECTS = $(PARSER)\
47
scdcreateandlinecmd.o\
53
scdsynchronizationstate.o\
65
rpupdatenodeshapetypecmd.o\
69
PARSER = adsedgelabel.tab.o\
71
adsedgelabelevaluation.tab.o\
72
adsedgelabelevaluation.o\
78
ATOBJECTS = $(PARSER)\
80
atdactionstatenode.o \
81
atddecisionstatenode.o \
84
atdinitialstatenode.o \
85
atdsynchronizationnode.o \
90
atupdatenodeshapetypecmd.o\
97
adseliminatepseudostatenodes.o\
101
adspropertyvaluation.o\
108
BVOBJECTS = $(STOBJECTS) $(SCOBJECTS) $(PSOBJECTS) $(RPOBJECTS) $(ATOBJECTS)
110
tcmbv$(EXEEXTENSION): $(BVOBJECTS) tcmbv.o
111
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(BVOBJECTS) \
112
-ldiagram -leditor -lguix $(LIB_DIR)/libglobal.a \
113
tcmbv.o -o $@ $(LDFLAGS) $(LDLIBS)
118
libtcmbv.a: $(BVOBJECTS)
119
$(AR) $@ $(BVOBJECTS)
124
tpsd$(EXEEXTENSION): $(PSOBJECTS) pseditor.o
125
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(PSOBJECTS) pseditor.o -o $@ \
126
$(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
131
tstd$(EXEEXTENSION): $(STOBJECTS) steditor.o
132
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(STOBJECTS) steditor.o -o $@ \
133
$(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
138
tscd$(EXEEXTENSION): $(SCOBJECTS) sceditor.o
139
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(SCOBJECTS) sceditor.o -o $@ \
140
$(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
145
trpg$(EXEEXTENSION): $(RPOBJECTS) rpeditor.o
146
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(RPOBJECTS) rpeditor.o -o $@ \
147
$(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
152
tatd$(EXEEXTENSION): $(ATOBJECTS) ateditor.o
153
$(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(ATOBJECTS) ateditor.o -o $@ \
154
$(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
159
adsedgelabel.tab.c: adsedgelabel.y adsedgelabel.l
160
$(YACC) -p adsedgelabel -d adsedgelabel.y
161
$(LEX) -Padsedgelabel -oadsedgelabel.c adsedgelabel.l
162
adsedgelabel.tab.h: adsedgelabel.y adsedgelabel.l
163
$(YACC) -p adsedgelabel -d adsedgelabel.y
164
$(LEX) -Padsedgelabel -oadsedgelabel.c adsedgelabel.l
165
adsedgelabel.c: adsedgelabel.l adsedgelabel.y
166
$(LEX) -Padsedgelabel -oadsedgelabel.c adsedgelabel.l
168
$(Cc) -c adsedgelabel.c
169
adsedgelabel.tab.o: adsedgelabel.tab.h
170
$(Cc) -c adsedgelabel.tab.c
173
adsedgelabelevaluation.tab.c: adsedgelabelevaluation.y adsedgelabelevaluation.l
174
$(YACC) --debug -p adsedgelabelevaluation -d adsedgelabelevaluation.y
175
$(LEX) -Padsedgelabelevaluation -oadsedgelabelevaluation.c adsedgelabelevaluation.l
176
adsedgelabelevaluation.tab.h: adsedgelabelevaluation.y adsedgelabelevaluation.l
177
$(YACC) --debug -p adsedgelabelevaluation -d adsedgelabelevaluation.y
178
$(LEX) -Padsedgelabelevaluation -oadsedgelabelevaluation.c adsedgelabelevaluation.l
179
adsedgelabelevaluation.c: adsedgelabelevaluation.l adsedgelabelevaluation.y
180
$(LEX) -Padsedgelabelevaluation -oadsedgelabelevaluation.c adsedgelabelevaluation.l
181
adsedgelabelevaluation.o:
182
$(Cc) -c adsedgelabelevaluation.c
183
adsedgelabelevaluation.tab.o: adsedgelabelevaluation.tab.h
184
$(Cc) -c adsedgelabelevaluation.tab.c
186
adsmcoutput.tab.c: adsmcoutput.y adsmcoutput.l
187
$(YACC) -p adsmcoutput -d adsmcoutput.y
188
$(LEX) -Padsmcoutput -oadsmcoutput.c adsmcoutput.l
189
adsmcoutput.tab.h: adsmcoutput.y adsmcoutput.l
190
$(YACC) -p adsmcoutput -d adsmcoutput.y
191
$(LEX) -Padsmcoutput -oadsmcoutput.c adsmcoutput.l
192
adsmcoutput.c: adsmcoutput.l adsmcoutput.y
193
$(LEX) -Padsmcoutput -oadsmcoutput.c adsmcoutput.l
195
$(Cc) -c adsmcoutput.c
196
adsmcoutput.tab.o: adsmcoutput.tab.h
197
$(Cc) -c adsmcoutput.tab.c
199
adsltlformula.tab.c: adsltlformula.y adsltlformula.l
200
$(YACC) -p adsltlformula -d adsltlformula.y
201
$(LEX) -Padsltlformula -oadsltlformula.c adsltlformula.l
202
adsltlformula.tab.h: adsltlformula.y adsltlformula.l
203
$(YACC) -p adsltlformula -d adsltlformula.y
204
$(LEX) -Padsltlformula -oadsltlformula.c adsltlformula.l
205
adsltlformula.c: adsltlformula.l adsltlformula.y
206
$(LEX) -Padsltlformula -oadsltlformula.c adsltlformula.l
208
$(Cc) -c adsltlformula.c
209
adsltlformula.tab.o: adsltlformula.tab.h
210
$(Cc) -c adsltlformula.tab.c
216
$(RM) adsedgelabel.c adsedgelabel.tab.*
217
$(RM) adsedgelabelevaluation.c adsedgelabelevaluation.tab.*
218
$(RM) adsmcoutput.c adsmcoutput.tab.*
219
$(RM) adsltlformula.c adsltlformula.tab.*
225
# DO NOT DELETE THIS LINE -- make depend depends on it.