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

4
5
6
tgbaalgosdir = $(pkgincludedir)/tgbaalgos

tgbaalgos_HEADERS = \
7
  reachiter.hh \
8
  dotty.hh \
9
  lbtt.hh \
10
  ltl2tgba.hh \
11
  magic.hh \
12
13
  save.hh

14
noinst_LTLIBRARIES = libtgbaalgos.la
15
libtgbaalgos_la_SOURCES = \
16
  reachiter.cc \
17
  dotty.cc \
18
  lbtt.cc \
19
  ltl2tgba.cc \
20
  magic.cc \
21
  save.cc