Makefile.am 310 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
AM_CPPFLAGS = -I$(srcdir)/..
AM_CXXFLAGS = $(WARNING_CXXFLAGS)

lib_LIBRARIES = libltlast.a
libltlast_a_SOURCES = \
  allnodes.hh \
  atomic_prop.cc \
  atomic_prop.hh \
  binop.cc \
  binop.hh \
  constant.cc \
  constant.hh \
  formulae.hh \
  multop.cc \
  multop.hh \
  predecl.hh \
  unop.cc \
  unop.hh