Makefile.am 5.61 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
  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
  sim3.test \
187
  ltl2tgba.test \
188
  ltl2neverclaim.test \
189
  ltl2neverclaim-lbtt.test \
190
  ltlprod.test \
191
  explprod.test \
192
  explpro2.test \
193
  explpro3.test \
194
  explpro4.test \
195
  tripprod.test \
196
  dupexp.test \
197
  exclusive-tgba.test \
198
  remprop.test \
199
  degendet.test \
200
  degenid.test \
201
  degenlskip.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
  sepsets.test \
208
  dbacomp.test \
209
  obligation.test \
210
  wdba.test \
211
  wdba2.test \
212
  babiak.test \
213
  monitor.test \
214
  dra2dba.test \
215
  unambig.test \
216
  ltlcross4.test \
217
  ltl3dra.test \
218
  ltl2dstar.test \
219
  ltl2dstar2.test \
220
  ltl2dstar3.test \
221
  ltl2dstar4.test \
222
223
  ltl2ta.test \
  ltl2ta2.test \
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
224
  randaut.test \
225
  randtgba.test \
226
  isomorph.test \
227
  uniq.test \
228
  sbacc.test \
229
  stutter-tgba.test \
230
  emptchk.test \
231
  emptchke.test \
232
  dfs.test \
233
  ltlcrossce.test \
234
  ltlcrossce2.test \
235
  emptchkr.test \
236
  ltlcounter.test \
237
  basimul.test \
238
  satmin.test \
239
  satmin2.test \
240
  spotlbtt.test \
241
  ltlcross.test \
242
  spotlbtt2.test \
243
  ltlcross2.test \
244
  complementation.test \
245
246
  randpsl.test \
  cycles.test
247

248
EXTRA_DIST = $(TESTS)
249

250
251
distclean-local:
	rm -rf $(TESTS:.test=.dir)