diff options
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 |