diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
| commit | 2a1ac62e56d43893c59c4c2d91bcaca0dd7ce417 (patch) | |
| tree | 5d2e6b493d8d366ab75163effaf13191dbf0bd71 /src/parser/Makefile.am | |
| parent | 06b391f721c8e9de4835e5a5bf2c60383ea7f8e9 (diff) | |
additional work on parser hookup, configuration + build
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 7965b88f9..8d8730d68 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -5,19 +5,21 @@ AM_CPPFLAGS = -D__BUILDING_CVC4LIB noinst_LTLIBRARIES = libparser.la libparser_la_SOURCES = \ + parser.cpp \ + parser_state.cpp \ + symbol_table.cpp \ pl_scanner.lpp \ - pl.ypp # \ - # smtlib_scanner.lpp \ - # smtlib.ypp \ - # parser.cpp + pl.ypp +# smtlib_scanner.lpp \ +# smtlib.ypp BUILT_SOURCES = \ pl_scanner.cpp \ pl.cpp \ - pl.hpp # \ - # smtlib_scanner.cpp \ - # smtlib.cpp \ - # smtlib.hpp + pl.hpp \ + smtlib_scanner.cpp \ + smtlib.cpp \ + smtlib.hpp # produce headers too AM_YFLAGS = -d |