Makefile.am 1.06 KB
Newer Older
1
AM_CPPFLAGS = -I$(srcdir)/..
2
LDADD = ../ltlparse/libltlparse.la \
3
	../ltlvisit/libltlvisit.la \
4
	../ltlenv/libltlenv.la \
5
	../ltlast/libltlast.la
6
7

check_SCRIPTS = defs
8
9
10
11
12
13
14
# Keep this sorted alphabetically.
check_PROGRAMS = \
  equals \
  ltl2dot \
  ltl2text \
  lunabbrev \
  nenoform \
15
  tostring \
16
17
18
  tunabbrev \
  tunenoform

19
equals_SOURCES = equals.cc
20
21
22
ltl2dot_SOURCES = readltl.cc
ltl2dot_CPPFLAGS = $(AM_CPPFLAGS) -DDOTTY
ltl2text_SOURCES = readltl.cc
23
24
lunabbrev_SOURCES = equals.cc
lunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DLUNABBREV
25
26
nenoform_SOURCES = equals.cc
nenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM
27
28
29
tostring_SOURCES = tostring.cc
tunabbrev_SOURCES = equals.cc
tunabbrev_CPPFLAGS = $(AM_CPPFLAGS) -DTUNABBREV
30
31
tunenoform_SOURCES = equals.cc
tunenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM -DTUNABBREV
32

33

34
EXTRA_DIST = $(TESTS)
35
36
37
38
39
40

# Ordered by strength of the test.  Test basic features first.
TESTS = \
  parse.test \
  parseerr.test \
  equals.test \
41
  tostring.test \
42
43
44
45
  lunabbrev.test \
  tunabbrev.test \
  nenoform.test \
  tunenoform.test
46
47

CLEANFILES = stdout expect parse.dot