summaryrefslogtreecommitdiff
path: root/src/parser/smt
diff options
context:
space:
mode:
authorMorgan Deters <mdeters@gmail.com>2012-08-03 00:09:57 +0000
committerMorgan Deters <mdeters@gmail.com>2012-08-03 00:09:57 +0000
commit1b6a75b3b030b5613748d9ff34f5e3719a96b4ec (patch)
tree9c997583d69fcfd82f7f02358458d5b910e12b40 /src/parser/smt
parent08afbc4817c5410961ce3a69534b9e270364a37b (diff)
better parser makefile fix
Diffstat (limited to 'src/parser/smt')
-rw-r--r--src/parser/smt/Makefile.am22
1 files changed, 14 insertions, 8 deletions
diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am
index 4879f0c4b..ffc5397c7 100644
--- a/src/parser/smt/Makefile.am
+++ b/src/parser/smt/Makefile.am
@@ -15,14 +15,14 @@ ANTLR_OPTS =
noinst_LTLIBRARIES = libparsersmt.la
ANTLR_TOKEN_STUFF = \
- @abs_builddir@/generated/Smt.tokens
+ generated/Smt.tokens
ANTLR_LEXER_STUFF = \
- @abs_builddir@/generated/SmtLexer.h \
- @abs_builddir@/generated/SmtLexer.c \
+ generated/SmtLexer.h \
+ generated/SmtLexer.c \
$(ANTLR_TOKEN_STUFF)
ANTLR_PARSER_STUFF = \
- @abs_builddir@/generated/SmtParser.h \
- @abs_builddir@/generated/SmtParser.c
+ generated/SmtParser.h \
+ generated/SmtParser.c
ANTLR_STUFF = \
$(ANTLR_LEXER_STUFF) \
$(ANTLR_PARSER_STUFF)
@@ -35,7 +35,13 @@ libparsersmt_la_SOURCES = \
smt_input.cpp \
$(ANTLR_STUFF)
-BUILT_SOURCES = $(ANTLR_STUFF) stamp-generated
+BUILT_SOURCES = \
+ generated/Smt.tokens \
+ generated/SmtLexer.h \
+ generated/SmtLexer.c \
+ generated/SmtParser.h \
+ generated/SmtParser.c \
+ stamp-generated
DISTCLEANFILES = $(ANTLR_STUFF)
distclean-local:
@@ -47,7 +53,7 @@ stamp-generated:
$(AM_V_at)touch stamp-generated
# antlr doesn't overwrite output files, it just leaves them. So we have to delete them first.
-@abs_builddir@/generated/SmtLexer.h: Smt.g stamp-generated
+generated/SmtLexer.h: Smt.g stamp-generated
-$(AM_V_at)rm -f $(ANTLR_STUFF)
@if test -z "$(ANTLR)"; then echo "ERROR: antlr parser generator cannot be found, cannot generate the parser" >&2; exit 1; fi
$(AM_V_GEN)$(ANTLR) $(ANTLR_OPTS) -fo "generated" "@srcdir@/Smt.g"
@@ -56,4 +62,4 @@ stamp-generated:
# make and the lexer needs to be rebuilt, we have to keep the rules
# from running in parallel (since the token files will be deleted &
# recreated)
-@abs_builddir@/generated/SmtLexer.c @abs_builddir@/generated/SmtParser.h @abs_builddir@/generated/SmtParser.c $(ANTLR_TOKEN_STUFF): @abs_builddir@/generated/SmtLexer.h
+generated/SmtLexer.c generated/SmtParser.h generated/SmtParser.c $(ANTLR_TOKEN_STUFF): generated/SmtLexer.h
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback