diff options
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 58 |
1 files changed, 9 insertions, 49 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 7e3cee751..3c2bfc8ab 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -15,62 +15,22 @@ LIBCVC4PARSER_RELEASE = @CVC4_LIBRARY_RELEASE_CODE@ LIBCVC4PARSER_VERSION = @CVC4_PARSER_LIBRARY_VERSION@ -INCLUDES = -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. +INCLUDES = -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. $(ANTLR_INCLUDES) AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4PARSERLIB -if USE_ANTLR - SUBDIRS = smt - INCLUDES += $(ANTLR_INCLUDES) -endif +SUBDIRS = smt -lib_LTLIBRARIES = libcvc4parser.la - -libcvc4parser_la_LDFLAGS = -version-info $(LIBCVC4PARSER_VERSION) -release $(LIBCVC4PARSER_RELEASE) - -if USE_ANTLR - libcvc4parser_la_LDFLAGS += $(ANTLR_LDFLAGS) -endif +nobase_lib_LTLIBRARIES = libcvc4parser.la +libcvc4parser_la_LDFLAGS = $(ANTLR_LDFLAGS) libcvc4parser_la_LIBADD = \ - ../libcvc4.la + @builddir@/smt/libparsersmt.la libcvc4parser_la_SOURCES = \ + parser.h \ parser.cpp \ - parser_state.cpp \ - symbol_table.cpp \ - pl_scanner.lpp \ - pl.ypp \ - smtlib_scanner.lpp \ - smtlib.ypp - -if USE_ANTLR - libcvc4parser_la_SOURCES += \ - antlr_parser.cpp \ - antlr_parser.h -endif USE_ANTLR - -BUILT_SOURCES = \ - pl_scanner.cpp \ - pl.cpp \ - pl.hpp \ - smtlib_scanner.cpp \ - smtlib.cpp \ - smtlib.hpp - -# produce headers too -AM_YFLAGS = -d - -pl_scanner.cpp: pl_scanner.lpp - $(LEX) $(AM_LFLAGS) $(LFLAGS) -P PL -o $@ $< -smtlib_scanner.cpp: smtlib_scanner.lpp - $(LEX) $(AM_LFLAGS) $(LFLAGS) -P smtlib -o $@ $< - -pl_scanner.o: pl.hpp -pl.cpp: pl.ypp - $(YACC) $(AM_YFLAGS) $(YFLAGS) -p PL -o $@ $< - + symbol_table.h \ + antlr_parser.h \ + antlr_parser.cpp -smtlib_scanner.o: smtlib.hpp -smtlib.cpp: smtlib.ypp - $(YACC) $(AM_YFLAGS) $(YFLAGS) -p smtlib -o $@ $< |