Makefile.am 2.75 KB
Newer Older
1
## Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche et
2
## Dveloppement de l'Epita (LRDE).
Guillaume Sadegh's avatar
Guillaume Sadegh committed
3
## Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
4
5
## Paris 6 (LIP6), dpartement Systmes Rpartis Coopratifs (SRC),
## Universit Pierre et Marie Curie.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
6
7
8
9
10
##
## 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
11
## the Free Software Foundation; either version 3 of the License, or
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
12
13
14
15
16
17
18
19
## (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
20
## along with this program.  If not, see <http://www.gnu.org/licenses/>.
Alexandre Duret-Lutz's avatar
Alexandre Duret-Lutz committed
21

22
AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
23
AM_CXXFLAGS = $(WARNING_CXXFLAGS)
24
LDADD = ../libspot.la
25
26

check_SCRIPTS = defs
27
28
# Keep this sorted alphabetically.
check_PROGRAMS = \
29
  consterm \
30
  equals \
31
  kind \
32
  length \
33
34
35
36
  ltl2dot \
  ltl2text \
  lunabbrev \
  nenoform \
martinez's avatar
martinez committed
37
  reduc \
38
  reduccmp \
39
40
  reductau \
  reductaustr \
41
  syntimpl \
42
  tostring \
43
  tunabbrev \
44
45
  tunenoform \
  unabbrevwm
46

47
consterm_SOURCES = consterm.cc
48
equals_SOURCES = equals.cc
49
kind_SOURCES = kind.cc
50
length_SOURCES = length.cc
51
52
53
ltl2dot_SOURCES = readltl.cc
ltl2dot_CPPFLAGS = $(AM_CPPFLAGS) -DDOTTY
ltl2text_SOURCES = readltl.cc
54
55
lunabbrev_SOURCES = equals.cc
lunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DLUNABBREV
56
57
nenoform_SOURCES = equals.cc
nenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM
martinez's avatar
martinez committed
58
reduc_SOURCES = reduc.cc
59
60
reduccmp_SOURCES = equals.cc
reduccmp_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC
61
62
63
64
reductau_SOURCES = equals.cc
reductau_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC_TAU
reductaustr_SOURCES = equals.cc
reductaustr_CPPFLAGS = $(AM_CPPFLAGS) -DREDUC_TAUSTR
65
syntimpl_SOURCES = syntimpl.cc
66
67
68
tostring_SOURCES = tostring.cc
tunabbrev_SOURCES = equals.cc
tunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DTUNABBREV
69
70
tunenoform_SOURCES = equals.cc
tunenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM -DTUNABBREV
71
72
unabbrevwm_SOURCES = equals.cc
unabbrevwm_CPPFLAGS = $(AM_CPPFLAGS) -DWM
73

74

75
EXTRA_DIST = $(TESTS)
76
77
78

# Ordered by strength of the test.  Test basic features first.
TESTS = \
79
  bare.test \
80
81
  parse.test \
  parseerr.test \
82
  utf8.test \
83
  length.test \
84
  equals.test \
85
  tostring.test \
86
87
88
  lunabbrev.test \
  tunabbrev.test \
  nenoform.test \
89
  tunenoform.test \
90
  unabbrevwm.test \
91
  consterm.test \
92
  kind.test \
93
  lbt.test \
94
  lenient.test \
95
  isop.test \
96
  syntimpl.test \
97
  reduc.test \
98
  reducpsl.test \
99
100
  reduccmp.test \
  uwrm.test
101

102
103
distclean-local:
	rm -rf $(TESTS:.test=.dir)