Makefile.am 429 Bytes
Newer Older
1
2
3
4
5
6
AM_CPPFLAGS = -I$(srcdir)/..
LDADD = ../ltlparse/libltlparse.a \
        ../ltlvisit/libltlvisit.a \
        ../ltlast/libltlast.a 

check_SCRIPTS = defs
7
check_PROGRAMS = ltl2dot ltl2text equals
8
9
10
ltl2dot_SOURCES = readltl.cc
ltl2dot_CPPFLAGS = $(AM_CPPFLAGS) -DDOTTY
ltl2text_SOURCES = readltl.cc
11
equals_SOURCES = equals.cc
12
13

EXTRA_DIST = $(TESTS)
14
TESTS = parse.test parseerr.test equals.test
15
16

CLEANFILES = stdout expect parse.dot