Makefile.am 5.66 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 = ikwiad 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
ikwiad_SOURCES = ikwiad.cc
77
intvcomp_SOURCES = intvcomp.cc
78
intvcmp2_SOURCES = intvcmp2.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
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
95
lunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DUNABBREV='"^ie"'
96
97
98
99
100
101
102
103
104
105
106
107
108
109
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
110
tunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DUNABBREV='"^ieFG"'
111
tunenoform_SOURCES = equalsf.cc
112
tunenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM -DUNABBREV='"^ieFG"'
113

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
  parseaut.test \
175
  optba.test \
176
  complete.test \
177
  complement.test \
178
  remfin.test \
179
  dstar.test \
180
  readsave.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
181
182
  ltldo.test \
  ltldo2.test \
183
  maskacc.test \
184
  maskkeep.test \
185
  prodor.test \
Thomas Badie's avatar
Thomas Badie committed
186
  simdet.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
187
  sim2.test \
188
  sim3.test \
189
  ltl2tgba.test \
190
  ltl2neverclaim.test \
191
  ltl2neverclaim-lbtt.test \
192
  ltlprod.test \
193
  explprod.test \
194
  explpro2.test \
195
  explpro3.test \
196
  explpro4.test \
197
  tripprod.test \
198
  dupexp.test \
199
  exclusive-tgba.test \
200
  remprop.test \
201
  degendet.test \
202
  degenid.test \
203
  degenlskip.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
204
  randomize.test \
205
  lbttparse.test \
206
  scc.test \
207
  sccdot.test \
208
  sccsimpl.test \
209
  sepsets.test \
210
  dbacomp.test \
211
  obligation.test \
212
  wdba.test \
213
  wdba2.test \
214
  babiak.test \
215
  monitor.test \
216
  dra2dba.test \
217
  unambig.test \
218
  ltlcross4.test \
219
  ltl3dra.test \
220
  ltl2dstar.test \
221
  ltl2dstar2.test \
222
  ltl2dstar3.test \
223
  ltl2dstar4.test \
224
225
  ltl2ta.test \
  ltl2ta2.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
226
  randaut.test \
227
  randtgba.test \
228
  isomorph.test \
229
  uniq.test \
230
  sbacc.test \
231
  stutter-tgba.test \
232
  strength.test \
233
  emptchk.test \
234
  emptchke.test \
235
  dfs.test \
236
  ltlcrossce.test \
237
  ltlcrossce2.test \
238
  emptchkr.test \
239
  ltlcounter.test \
240
  basimul.test \
241
  satmin.test \
242
  satmin2.test \
243
  spotlbtt.test \
244
  ltlcross.test \
245
  spotlbtt2.test \
246
  ltlcross2.test \
247
  complementation.test \
248
249
  randpsl.test \
  cycles.test
250

251
EXTRA_DIST = $(TESTS)
252

253
254
distclean-local:
	rm -rf $(TESTS:.test=.dir)