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