diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-07 23:14:15 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-07 23:14:15 +0000 |
| commit | c72745ec66a6328ab02350cd556a1ad82fb7d85c (patch) | |
| tree | df7b00155bb7dc7ab7351b640425bf2306dac521 /src/parser/cvc/Makefile.am | |
| parent | b3bcafc179201e33c4f41ccf028c12eacc110d69 (diff) | |
big check-in of various fixes and adjustments
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 |