diff options
Diffstat (limited to 'src/parser/smt/Makefile.am')
| -rw-r--r-- | src/parser/smt/Makefile.am | 25 |
1 files changed, 14 insertions, 11 deletions
diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am index acb95849f..59782de7e 100644 --- a/src/parser/smt/Makefile.am +++ b/src/parser/smt/Makefile.am @@ -1,4 +1,4 @@ -INCLUDES = -I@srcdir@/../include -I@srcdir@/.. +INCLUDES = -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../.. AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4PARSERLIB @@ -7,19 +7,22 @@ noinst_LTLIBRARIES = libparsersmt.la libparsersmt_la_SOURCES = \ SmtLexer.g \ SmtParser.g \ - SmtLexer.hpp \ - SmtLexer.cpp \ - SmtParser.hpp \ - SmtParser.cpp + AntlrSmtLexer.hpp \ + AntlrSmtLexer.cpp \ + AntlrSmtParser.hpp \ + AntlrSmtParser.cpp BUILT_SOURCES = \ - SmtLexer.hpp \ - SmtLexer.cpp \ - SmtParser.hpp \ - SmtParser.cpp + AntlrSmtLexer.hpp \ + AntlrSmtLexer.cpp \ + AntlrSmtParser.hpp \ + AntlrSmtParser.cpp -SmtLexer.cpp SmtLexer.hpp: SmtLexer.g + +AntlrSmtLexer.hpp: SmtLexer.g +AntlrSmtLexer.cpp: SmtLexer.g $(ANTLR) @srcdir@/SmtLexer.g -SmtParser.cpp SmtParser.hpp: SmtParser.g +AntlrSmtParser.hpp: SmtParser.g AntlrSmtLexer.cpp +AntlrSmtParser.cpp: SmtParser.g AntlrSmtLexer.cpp $(ANTLR) @srcdir@/SmtParser.g |