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

4
5
lib_LTLIBRARIES = libltlast.la
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
15
16
17
  multop.cc \
  multop.hh \
  predecl.hh \
  unop.cc \
18
19
  unop.hh \
  visitor.hh
20