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

4
5
6
ltlastdir = $(pkgincludedir)/ltlast

ltlast_HEADERS = \
7
8
9
10
  allnodes.hh \
  atomic_prop.hh \
  binop.hh \
  constant.hh \
11
  formula.hh \
12
13
  multop.hh \
  predecl.hh \
14
  refformula.hh \
15
16
  unop.hh \
  visitor.hh
17
18
19
20
21
22
23
24
25
26

noinst_LTLIBRARIES = libltlast.la
libltlast_la_SOURCES = \
  atomic_prop.cc \
  binop.cc \
  constant.cc \
  formula.cc \
  multop.cc \
  refformula.cc \
  unop.cc