Makefile.am 497 Bytes
Newer Older
1
AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS)
2
3
AM_CXXFLAGS = $(WARNING_CXXFLAGS)

4
5
6
7
tgbaalgosdir = $(pkgincludedir)/tgbaalgos

tgbaalgos_HEADERS = \
  dotty.hh \
8
9
  dupexp.hh \
  emptinesscheck.hh \
10
  lbtt.hh \
11
  ltl2tgba_fm.hh \
12
  ltl2tgba_lacim.hh \
13
  magic.hh \
14
  reachiter.hh \
15
16
  save.hh

17
noinst_LTLIBRARIES = libtgbaalgos.la
18
19
libtgbaalgos_la_SOURCES = \
  dotty.cc \
20
21
  dupexp.cc \
  emptinesscheck.cc \
22
  lbtt.cc \
23
  ltl2tgba_fm.cc \
24
  ltl2tgba_lacim.cc \
25
  magic.cc \
26
  reachiter.cc \
27
  save.cc