Makefile.am 291 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
  ltl2tgba.hh \
9
10
  save.hh

11
noinst_LTLIBRARIES = libtgbaalgos.la
12
13
libtgbaalgos_la_SOURCES = \
  dotty.cc \
14
  ltl2tgba.cc \
15
  save.cc