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

4
noinst_LTLIBRARIES = libltlast.la
5
libltlast_la_SOURCES = \
6
7
8
9
10
11
12
  allnodes.hh \
  atomic_prop.cc \
  atomic_prop.hh \
  binop.cc \
  binop.hh \
  constant.cc \
  constant.hh \
13
  formula.hh \
14
  formula.cc \
15
16
17
  multop.cc \
  multop.hh \
  predecl.hh \
18
19
  refformula.cc \
  refformula.hh \
20
  unop.cc \
21
22
  unop.hh \
  visitor.hh