diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-03 14:59:30 +0000 |
commit | 7fb54afe126e5045fc6c5553c1aff3c3f73509aa (patch) | |
tree | 37f4f23af0eccd6c9615a5af9b2d219e305d1f78 /src/parser/Makefile.am | |
parent | bde1a14afc211c8f0f0521bb91feb562eaa9f9ea (diff) |
parsing/expr/command/result/various other fixes
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 256ebef0e..800afc990 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -2,12 +2,14 @@ INCLUDES = -I@srcdir@/../include -I@srcdir@/.. -I@builddir@ AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4LIB -noinst_LTLIBRARIES = libparser.la +nobase_lib_LTLIBRARIES = libcvc4parser.la -libparser_la_SOURCES = \ +libcvc4parser_la_SOURCES = \ parser.cpp \ parser_state.cpp \ symbol_table.cpp \ + pl_scanner.lpp \ + pl.ypp \ smtlib_scanner.lpp \ smtlib.ypp |