diff options
Diffstat (limited to 'src/parser/cvc/Makefile.am')
| -rw-r--r-- | src/parser/cvc/Makefile.am | 25 |
1 files changed, 10 insertions, 15 deletions
diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am index 9f548d656..2619b2dac 100644 --- a/src/parser/cvc/Makefile.am +++ b/src/parser/cvc/Makefile.am @@ -4,25 +4,20 @@ AM_CPPFLAGS = -D__BUILDING_CVC4PARSERLIB noinst_LTLIBRARIES = libparsercvc.la -libparsercvc_la_SOURCES = \ - CvcLexer.g \ - CvcParser.g \ - AntlrCvcLexer.hpp \ - AntlrCvcLexer.cpp \ - AntlrCvcParser.hpp \ - AntlrCvcParser.cpp - -BUILT_SOURCES = \ +ANTLR_STUFF = \ AntlrCvcLexer.hpp \ AntlrCvcLexer.cpp \ AntlrCvcParser.hpp \ AntlrCvcParser.cpp +libparsercvc_la_SOURCES = \ + CvcLexer.g \ + CvcParser.g \ + $(ANTLR_STUFF) + +BUILT_SOURCES = $(ANTLR_STUFF) +CLEAN_FILES = $(ANTLR_STUFF) -AntlrCvcLexer.hpp: CvcLexer.g -AntlrCvcLexer.cpp: CvcLexer.g - $(ANTLR) @srcdir@/CvcLexer.g +Antlr%.cpp Antlr%.hpp: %.g + $(ANTLR) -o "@builddir@" "@srcdir@/$<" -AntlrCvcParser.hpp: CvcParser.g AntlrCvcLexer.cpp -AntlrCvcParser.cpp: CvcParser.g AntlrCvcLexer.cpp - $(ANTLR) @srcdir@/CvcParser.g |