Makefile.am 1.1 KB
Newer Older
1
AM_CPPFLAGS = -I$(top_srcdir)/src $(BUDDY_CPPFLAGS) $(LIBGSPN_CPPFLAGS)
2
3
AM_CXXFLAGS = $(WARNING_CXXFLAGS)

4
5
6
7
8
gspndir = $(pkgincludedir)/gspn

gspn_HEADERS = \
  gspn.hh

9
lib_LTLIBRARIES = libspotgspn.la
10
libspotgspn_la_LIBADD = $(top_builddir)/src/libspot.la
11
libspotgspn_la_SOURCES = \
12
  gspn.cc
13

14
15
16
17
18
check_PROGRAMS = \
  dottygspn-rg \
  dottygspn-srg \
  ltlgspn-rg \
  ltlgspn-srg
19

20
21
22
23
24
dottygspn_rg_SOURCES = dottygspn.cc
dottygspn_rg_LDADD = libspotgspn.la $(LIBGSPNRG_LDFLAGS)

dottygspn_srg_SOURCES = dottygspn.cc
dottygspn_srg_LDADD = libspotgspn.la $(LIBGSPNSRG_LDFLAGS)
25

26
27
28
29
30
31
ltlgspn_rg_SOURCES = ltlgspn.cc
ltlgspn_rg_LDADD = libspotgspn.la $(LIBGSPNRG_LDFLAGS)

ltlgspn_srg_SOURCES = ltlgspn.cc
ltlgspn_srg_LDADD = libspotgspn.la $(LIBGSPNSRG_LDFLAGS)

32
33
34
35
36
37
EXTRA_DIST = \
  examples/DCSwave/DCSWave.def \
  examples/DCSwave/DCSWave.net \
  examples/DCSwave/DCSWave.tobs \
  examples/simple/simple.def \
  examples/simple/simple.net \
38
39
40
41
42
  examples/simple/simple.tobs \
  $(TESTS)

TESTS = \
  simple.test \
43
44
  dcswave.test \
  dcswaveltl.test
45
46
47
48
49
50

# Each test case depends on defs.
check_SCRIPTS = defs

distclean-local:
	-rm -rf testSubDir