Makefile.am 5.67 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$(top_builddir) -I$(top_srcdir) $(BUDDY_CPPFLAGS)
24
AM_CXXFLAGS = $(WARNING_CXXFLAGS)
25
LDADD = $(top_builddir)/spot/libspot.la
26

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
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 = \
160
  kripke.test
Etienne Renault's avatar
Etienne Renault committed
161 162

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

250
EXTRA_DIST = $(TESTS)
251

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