Makefile.am 5.52 KB
Newer Older
1
## -*- coding: utf-8 -*-
2
## Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire de
3
## Recherche et Développement de l'Epita (LRDE).
Guillaume Sadegh's avatar
Guillaume Sadegh committed
4
## Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
5
6
## Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
## Université Pierre et Marie Curie.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
7
8
9
10
11
##
## This file is part of Spot, a model checking library.
##
## Spot is free software; you can redistribute it and/or modify it
## under the terms of the GNU General Public License as published by
12
## the Free Software Foundation; either version 3 of the License, or
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
13
14
15
16
17
18
19
20
## (at your option) any later version.
##
## Spot is distributed in the hope that it will be useful, but WITHOUT
## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
## or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
## License for more details.
##
## You should have received a copy of the GNU General Public License
21
## along with this program.  If not, see <http://www.gnu.org/licenses/>.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
22

23
AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
24
AM_CXXFLAGS = $(WARNING_CXXFLAGS)
25
26
LDADD = ../libspot.la

27
28
# These are the most used test programs, and they are also useful
# to run manually outside the test suite.  Always build them.
29
noinst_PROGRAMS = ltl2tgba randtgba
30

31
32
33
check_SCRIPTS = defs
# Keep this sorted alphabetically.
check_PROGRAMS = \
34
  acc \
35
  bitvect \
36
  complement \
37
  checkpsl \
38
  checkta \
39
  consterm \
40
  emptchk \
41
42
43
44
  equals \
  graph \
  kind \
  length \
45
  intvcomp \
46
  intvcmp2 \
47
  ltlprod \
48
49
50
51
52
53
54
55
  ltl2dot \
  ltl2text \
  ltlrel \
  lunabbrev \
  nequals \
  nenoform \
  ngraph \
  parse_print \
56
  readsat \
57
58
59
60
61
62
63
64
65
66
  reduc \
  reduccmp \
  reduceu \
  reductaustr \
  syntimpl \
  taatgba \
  tgbagraph \
  tostring \
  tunabbrev \
  tunenoform
67

68
# Keep this sorted alphabetically.
69
acc_SOURCES = acc.cc
70
bitvect_SOURCES  = bitvect.cc
71
checkpsl_SOURCES = checkpsl.cc
72
checkta_SOURCES = checkta.cc
73
complement_SOURCES = complementation.cc
74
emptchk_SOURCES  = emptchk.cc
75
graph_SOURCES = graph.cc
76
intvcomp_SOURCES = intvcomp.cc
77
intvcmp2_SOURCES = intvcmp2.cc
78
ltl2tgba_SOURCES = ltl2tgba.cc
79
ltlprod_SOURCES  = ltlprod.cc
80
81
ngraph_SOURCES = ngraph.cc
parse_print_SOURCES = parse_print_test.cc
82
randtgba_SOURCES = randtgba.cc
83
readsat_SOURCES = readsat.cc
84
taatgba_SOURCES = taatgba.cc
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
tgbagraph_SOURCES = twagraph.cc
consterm_SOURCES = consterm.cc
equals_SOURCES = equalsf.cc
kind_SOURCES = kind.cc
length_SOURCES = length.cc
ltl2dot_SOURCES = readltl.cc
ltl2dot_CPPFLAGS = $(AM_CPPFLAGS) -DDOTTY
ltl2text_SOURCES = readltl.cc
ltlrel_SOURCES = ltlrel.cc
lunabbrev_SOURCES = equalsf.cc
lunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DLUNABBREV
nenoform_SOURCES = equalsf.cc
nenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM
nequals_SOURCES = equalsf.cc
nequals_CPPFLAGS = $(AM_CPPFLAGS) -DNEGATE
reduc_SOURCES = reduc.cc
reduccmp_SOURCES = equalsf.cc
reduccmp_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC
reduceu_SOURCES = equalsf.cc
reduceu_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC -DEVENT_UNIV
reductaustr_SOURCES = equalsf.cc
reductaustr_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC_TAUSTR
syntimpl_SOURCES = syntimpl.cc
tostring_SOURCES = tostring.cc
tunabbrev_SOURCES = equalsf.cc
tunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DTUNABBREV
tunenoform_SOURCES = equalsf.cc
tunenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM -DTUNABBREV

114

115
116
# Keep this sorted by STRENGTH.  Test basic things first,
# because such failures will be easier to diagnose and fix.
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
TESTS =  $(TESTS_ltl) $(TESTS_graph) $(TESTS_kripke) $(TESTS_twa)

TESTS_ltl = \
  bare.test \
  parse.test \
  parseerr.test \
  utf8.test \
  length.test \
  equals.test \
  tostring.test \
  lunabbrev.test \
  tunabbrev.test \
  nenoform.test \
  tunenoform.test \
  unabbrevwm.test \
  consterm.test \
  kind.test \
  remove_x.test \
  ltlrel.test \
  ltlgrind.test \
  ltlcrossgrind.test \
  ltlfilt.test \
  exclusive-ltl.test \
  latex.test \
  lbt.test \
  lenient.test \
  rand.test \
  isop.test \
  syntimpl.test \
  reduc.test \
  reduc0.test \
  reducpsl.test \
  reduccmp.test \
  uwrm.test \
  eventuniv.test \
  stutter-ltl.test

TESTS_graph = \
  graph.test \
  ngraph.test \
  tgbagraph.test

TESTS_kripke = \
  kripke.test \
  bad_parsing.test
Etienne Renault's avatar
Etienne Renault committed
162
163

TESTS_twa = \
164
  acc.test \
165
  acc2.test \
166
  intvcomp.test \
167
  bitvect.test \
168
  ltlcross3.test \
169
  taatgba.test \
170
  renault.test \
171
  nondet.test \
172
  det.test \
Felix Abecassis's avatar
Felix Abecassis committed
173
  neverclaimread.test \
174
  hoaparse.test \
175
  optba.test \
176
  complete.test \
177
  remfin.test \
178
  dstar.test \
179
  readsave.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
180
181
  ltldo.test \
  ltldo2.test \
182
  maskacc.test \
183
  maskkeep.test \
Thomas Badie's avatar
Thomas Badie committed
184
  simdet.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
185
  sim2.test \
186
  ltl2tgba.test \
187
  ltl2neverclaim.test \
188
  ltl2neverclaim-lbtt.test \
189
  ltlprod.test \
190
  explprod.test \
191
  explpro2.test \
192
  explpro3.test \
193
  explpro4.test \
194
  tripprod.test \
195
  dupexp.test \
196
  exclusive-tgba.test \
197
  remprop.test \
198
  degendet.test \
199
  degenid.test \
200
  degenlskip.test \
201
  kv.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
202
  randomize.test \
203
  lbttparse.test \
204
  scc.test \
205
  sccdot.test \
206
  sccsimpl.test \
207
  dbacomp.test \
208
  obligation.test \
209
  wdba.test \
210
  wdba2.test \
211
  babiak.test \
212
  monitor.test \
213
  dra2dba.test \
214
  ltlcross4.test \
215
  ltl2dstar.test \
216
  ltl2dstar2.test \
217
  ltl2dstar3.test \
218
219
  ltl2ta.test \
  ltl2ta2.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
220
  randaut.test \
221
  randtgba.test \
222
  isomorph.test \
223
  uniq.test \
224
  sbacc.test \
225
  stutter-tgba.test \
226
  emptchk.test \
227
  emptchke.test \
228
  dfs.test \
229
  ltlcrossce.test \
230
  ltlcrossce2.test \
231
  emptchkr.test \
232
  ltlcounter.test \
233
  basimul.test \
234
  satmin.test \
235
  satmin2.test \
236
  spotlbtt.test \
237
  ltlcross.test \
238
  spotlbtt2.test \
239
  ltlcross2.test \
240
  complementation.test \
241
242
  randpsl.test \
  cycles.test
243

244
EXTRA_DIST = $(TESTS)
245

246
247
distclean-local:
	rm -rf $(TESTS:.test=.dir)