~ubuntu-branches/ubuntu/utopic/tcm/utopic

« back to all changes in this revision

Viewing changes to src/sd/bv/Makefile

  • Committer: Bazaar Package Importer
  • Author(s): Otavio Salvador
  • Date: 2003-07-03 20:08:21 UTC
  • Revision ID: james.westby@ubuntu.com-20030703200821-se4xtqx25e5miczi
Tags: upstream-2.20
ImportĀ upstreamĀ versionĀ 2.20

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
include ../../Config.tmpl
 
2
 
 
3
PSOBJECTS = pschecks.o\
 
4
        psdiagram.o\
 
5
        psgraph.o\
 
6
        psprocess.o\
 
7
        psstubs.o\
 
8
        psviewer.o\
 
9
        pswindow.o\
 
10
        urlabeledbox.o
 
11
 
 
12
STOBJECTS = decisionpoint.o\
 
13
        draghlinecmd.o\
 
14
        dragstlabelcmd.o\
 
15
        initialstate.o\
 
16
        initialstatebox.o\
 
17
        state.o\
 
18
        stchecks.o\
 
19
        stdiagram.o\
 
20
        stgraph.o\
 
21
        stnode.o\
 
22
        stviewer.o\
 
23
        stwindow.o\
 
24
        transition.o\
 
25
        transitionarrow.o
 
26
 
 
27
# uncomment the next lines to include experimental translation to model checkers
 
28
#STOBJECTS += eventset.o\
 
29
#       klocation.o\
 
30
#       kronos.o\
 
31
#       ptrset.o\
 
32
#       ktransition.o\
 
33
#       relevantset.o\
 
34
#       smv.o
 
35
#CFLAGS += -DMODELCHECK
 
36
 
 
37
SCOBJECTS = $(PARSER)\
 
38
        adsclock.o\
 
39
        adsclockconstraint.o\
 
40
        adsproperty.o\
 
41
        adsvariable.o\
 
42
        scchecks.o\
 
43
        scdandedge.o\
 
44
        scdandline.o\
 
45
        scdandstate.o\
 
46
        scdandstatebox.o\
 
47
        scdcreateandlinecmd.o\
 
48
        scddecisionstate.o\
 
49
        scddefaultstate.o\
 
50
        scdfinalstate.o\
 
51
        scdiagram.o\
 
52
        scdorstate.o\
 
53
        scdsynchronizationstate.o\
 
54
        scdtransitionedge.o\
 
55
        scgraph.o\
 
56
        scnode.o\
 
57
        scviewer.o\
 
58
        scwindow.o
 
59
 
 
60
RPOBJECTS = event.o\
 
61
        processgraphnode.o\
 
62
        processgraphroot.o\
 
63
        rpdiagram.o\
 
64
        rpgraph.o\
 
65
        rpupdatenodeshapetypecmd.o\
 
66
        rpviewer.o\
 
67
        rpwindow.o
 
68
 
 
69
PARSER = adsedgelabel.tab.o\
 
70
        adsedgelabel.o\
 
71
        adsedgelabelevaluation.tab.o\
 
72
        adsedgelabelevaluation.o\
 
73
        adsmcoutput.tab.o\
 
74
        adsmcoutput.o\
 
75
        adsltlformula.tab.o\
 
76
        adsltlformula.o
 
77
 
 
78
ATOBJECTS = $(PARSER)\
 
79
        atchecks.o \
 
80
        atdactionstatenode.o \
 
81
        atddecisionstatenode.o \
 
82
        atdfinalstatenode.o \
 
83
        atdwaitstatenode.o \
 
84
        atdinitialstatenode.o \
 
85
        atdsynchronizationnode.o \
 
86
        atdtransitionedge.o \
 
87
        atdiagram.o\
 
88
        atgraph.o\
 
89
        atviewer.o\
 
90
        atupdatenodeshapetypecmd.o\
 
91
        atwindow.o\
 
92
        adsactivity.o\
 
93
        adscks.o\
 
94
        adsclock.o\
 
95
        adsclockconstraint.o\
 
96
        adsclockmanager.o\
 
97
        adseliminatepseudostatenodes.o\
 
98
        adshyperedge.o\
 
99
        adshypergraph.o\
 
100
        adsproperty.o\
 
101
        adspropertyvaluation.o\
 
102
        adssemantics.o\
 
103
        adstransition.o\
 
104
        adsvaluation.o\
 
105
        adsvariable.o\
 
106
        bag.o
 
107
 
 
108
BVOBJECTS = $(STOBJECTS) $(SCOBJECTS) $(PSOBJECTS) $(RPOBJECTS) $(ATOBJECTS)
 
109
 
 
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)
 
114
        $(CHMODPLUSX) $@
 
115
        $(STRIP) $@
 
116
        $(MV) $@ $(BIN_DIR)
 
117
 
 
118
libtcmbv.a: $(BVOBJECTS)
 
119
        $(AR) $@ $(BVOBJECTS)
 
120
        $(CHMODPLUSX) $@
 
121
        $(RANLIB) $@
 
122
        $(MV) $@ $(LIB_DIR)
 
123
 
 
124
tpsd$(EXEEXTENSION):   $(PSOBJECTS) pseditor.o
 
125
        $(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(PSOBJECTS) pseditor.o -o $@ \
 
126
        $(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
 
127
        $(CHMODPLUSX) $@
 
128
        $(STRIP) $@
 
129
        $(MV) $@ $(BIN_DIR)
 
130
 
 
131
tstd$(EXEEXTENSION):   $(STOBJECTS) steditor.o
 
132
        $(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(STOBJECTS) steditor.o -o $@ \
 
133
        $(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
 
134
        $(CHMODPLUSX) $@
 
135
        $(STRIP) $@
 
136
        $(MV) $@ $(BIN_DIR)
 
137
 
 
138
tscd$(EXEEXTENSION):   $(SCOBJECTS) sceditor.o
 
139
        $(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(SCOBJECTS) sceditor.o -o $@ \
 
140
        $(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
 
141
        $(CHMODPLUSX) $@
 
142
        $(STRIP) $@
 
143
        $(MV) $@ $(BIN_DIR)
 
144
 
 
145
trpg$(EXEEXTENSION):   $(RPOBJECTS) rpeditor.o
 
146
        $(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(RPOBJECTS) rpeditor.o -o $@ \
 
147
        $(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
 
148
        $(CHMODPLUSX) $@
 
149
        $(STRIP) $@
 
150
        $(MV) $@ $(BIN_DIR)
 
151
 
 
152
tatd$(EXEEXTENSION):   $(ATOBJECTS) ateditor.o
 
153
        $(PURIFY) $(CC) $(CFLAGS) $(CPPFLAGS) $(ATOBJECTS) ateditor.o -o $@ \
 
154
        $(LDFLAGS) -ldiagram -leditor -lgui -lglobal $(LDLIBS)
 
155
        $(CHMODPLUSX) $@
 
156
        $(STRIP) $@
 
157
        $(MV) $@ $(BIN_DIR)
 
158
 
 
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
 
167
adsedgelabel.o:
 
168
        $(Cc) -c adsedgelabel.c
 
169
adsedgelabel.tab.o: adsedgelabel.tab.h
 
170
        $(Cc) -c adsedgelabel.tab.c
 
171
 
 
172
 
 
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
 
185
 
 
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
 
194
adsmcoutput.o:
 
195
        $(Cc) -c adsmcoutput.c
 
196
adsmcoutput.tab.o: adsmcoutput.tab.h
 
197
        $(Cc) -c adsmcoutput.tab.c
 
198
 
 
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
 
207
adsltlformula.o:
 
208
        $(Cc) -c adsltlformula.c
 
209
adsltlformula.tab.o: adsltlformula.tab.h
 
210
        $(Cc) -c adsltlformula.tab.c
 
211
 
 
212
 
 
213
clean: xclean
 
214
 
 
215
xclean::
 
216
        $(RM) adsedgelabel.c adsedgelabel.tab.*
 
217
        $(RM) adsedgelabelevaluation.c adsedgelabelevaluation.tab.*
 
218
        $(RM) adsmcoutput.c adsmcoutput.tab.*
 
219
        $(RM) adsltlformula.c adsltlformula.tab.*
 
220
 
 
221
depend: xdepend
 
222
 
 
223
undepend: xundepend
 
224
 
 
225
# DO NOT DELETE THIS LINE -- make depend depends on it.