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

243
EXTRA_DIST = $(TESTS)
244

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