Makefile.am 5.54 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
  unambig.test \
215
  ltlcross4.test \
216
  ltl2dstar.test \
217
  ltl2dstar2.test \
218
  ltl2dstar3.test \
219
220
  ltl2ta.test \
  ltl2ta2.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
221
  randaut.test \
222
  randtgba.test \
223
  isomorph.test \
224
  uniq.test \
225
  sbacc.test \
226
  stutter-tgba.test \
227
  emptchk.test \
228
  emptchke.test \
229
  dfs.test \
230
  ltlcrossce.test \
231
  ltlcrossce2.test \
232
  emptchkr.test \
233
  ltlcounter.test \
234
  basimul.test \
235
  satmin.test \
236
  satmin2.test \
237
  spotlbtt.test \
238
  ltlcross.test \
239
  spotlbtt2.test \
240
  ltlcross2.test \
241
  complementation.test \
242
243
  randpsl.test \
  cycles.test
244

245
EXTRA_DIST = $(TESTS)
246

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