diff options
Diffstat (limited to 'src/parser/smt/Makefile.in')
-rw-r--r-- | src/parser/smt/Makefile.in | 101 |
1 files changed, 72 insertions, 29 deletions
diff --git a/src/parser/smt/Makefile.in b/src/parser/smt/Makefile.in index f26358c42..1bd03d582 100644 --- a/src/parser/smt/Makefile.in +++ b/src/parser/smt/Makefile.in @@ -52,8 +52,10 @@ CONFIG_CLEAN_FILES = CONFIG_CLEAN_VPATH_FILES = LTLIBRARIES = $(noinst_LTLIBRARIES) libparsersmt_la_LIBADD = -am__objects_1 = AntlrSmtLexer.lo AntlrSmtParser.lo -am_libparsersmt_la_OBJECTS = $(am__objects_1) +am__objects_1 = AntlrSmtLexer.lo +am__objects_2 = AntlrSmtParser.lo +am__objects_3 = $(am__objects_1) $(am__objects_2) +am_libparsersmt_la_OBJECTS = $(am__objects_3) libparsersmt_la_OBJECTS = $(am_libparsersmt_la_OBJECTS) DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) depcomp = $(SHELL) $(top_srcdir)/config/depcomp @@ -220,11 +222,23 @@ INCLUDES = -I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../.. AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4PARSERLIB noinst_LTLIBRARIES = libparsersmt.la +ANTLR_TOKEN_STUFF = \ + @srcdir@/generated/SmtVocabularyTokenTypes.hpp \ + @srcdir@/generated/SmtVocabularyTokenTypes.txt \ + @srcdir@/generated/AntlrSmtParserTokenTypes.hpp \ + @srcdir@/generated/AntlrSmtParserTokenTypes.txt + +ANTLR_LEXER_STUFF = \ + @srcdir@/generated/AntlrSmtLexer.hpp \ + @srcdir@/generated/AntlrSmtLexer.cpp + +ANTLR_PARSER_STUFF = \ + @srcdir@/generated/AntlrSmtParser.hpp \ + @srcdir@/generated/AntlrSmtParser.cpp + ANTLR_STUFF = \ - AntlrSmtLexer.hpp \ - AntlrSmtLexer.cpp \ - AntlrSmtParser.hpp \ - AntlrSmtParser.cpp + $(ANTLR_LEXER_STUFF) \ + $(ANTLR_PARSER_STUFF) libparsersmt_la_SOURCES = \ SmtLexer.g \ @@ -232,7 +246,7 @@ libparsersmt_la_SOURCES = \ $(ANTLR_STUFF) BUILT_SOURCES = $(ANTLR_STUFF) -CLEAN_FILES = $(ANTLR_STUFF) +MAINTAINERCLEANFILES = $(ANTLR_STUFF) all: $(BUILT_SOURCES) $(MAKE) $(AM_MAKEFLAGS) all-am @@ -310,6 +324,20 @@ distclean-compile: @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(LTCXXCOMPILE) -c -o $@ $< +AntlrSmtLexer.lo: @srcdir@/generated/AntlrSmtLexer.cpp +@am__fastdepCXX_TRUE@ $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT AntlrSmtLexer.lo -MD -MP -MF $(DEPDIR)/AntlrSmtLexer.Tpo -c -o AntlrSmtLexer.lo `test -f '@srcdir@/generated/AntlrSmtLexer.cpp' || echo '$(srcdir)/'`@srcdir@/generated/AntlrSmtLexer.cpp +@am__fastdepCXX_TRUE@ $(am__mv) $(DEPDIR)/AntlrSmtLexer.Tpo $(DEPDIR)/AntlrSmtLexer.Plo +@AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='@srcdir@/generated/AntlrSmtLexer.cpp' object='AntlrSmtLexer.lo' libtool=yes @AMDEPBACKSLASH@ +@AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ +@am__fastdepCXX_FALSE@ $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o AntlrSmtLexer.lo `test -f '@srcdir@/generated/AntlrSmtLexer.cpp' || echo '$(srcdir)/'`@srcdir@/generated/AntlrSmtLexer.cpp + +AntlrSmtParser.lo: @srcdir@/generated/AntlrSmtParser.cpp +@am__fastdepCXX_TRUE@ $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT AntlrSmtParser.lo -MD -MP -MF $(DEPDIR)/AntlrSmtParser.Tpo -c -o AntlrSmtParser.lo `test -f '@srcdir@/generated/AntlrSmtParser.cpp' || echo '$(srcdir)/'`@srcdir@/generated/AntlrSmtParser.cpp +@am__fastdepCXX_TRUE@ $(am__mv) $(DEPDIR)/AntlrSmtParser.Tpo $(DEPDIR)/AntlrSmtParser.Plo +@AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='@srcdir@/generated/AntlrSmtParser.cpp' object='AntlrSmtParser.lo' libtool=yes @AMDEPBACKSLASH@ +@AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ +@am__fastdepCXX_FALSE@ $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o AntlrSmtParser.lo `test -f '@srcdir@/generated/AntlrSmtParser.cpp' || echo '$(srcdir)/'`@srcdir@/generated/AntlrSmtParser.cpp + mostlyclean-libtool: -rm -f *.lo @@ -398,6 +426,9 @@ distdir: $(DISTFILES) || exit 1; \ fi; \ done + $(MAKE) $(AM_MAKEFLAGS) \ + top_distdir="$(top_distdir)" distdir="$(distdir)" \ + dist-hook check-am: all-am check: $(BUILT_SOURCES) $(MAKE) $(AM_MAKEFLAGS) check-am @@ -430,6 +461,7 @@ maintainer-clean-generic: @echo "This command is intended for maintainers to use" @echo "it deletes files that may require special tools to rebuild." -test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES) + -test -z "$(MAINTAINERCLEANFILES)" || rm -f $(MAINTAINERCLEANFILES) clean: clean-am clean-am: clean-generic clean-libtool clean-noinstLTLIBRARIES \ @@ -504,28 +536,39 @@ uninstall-am: .MAKE: all check install install-am install-strip .PHONY: CTAGS GTAGS all all-am check check-am clean clean-generic \ - clean-libtool clean-noinstLTLIBRARIES ctags distclean \ - distclean-compile distclean-generic distclean-libtool \ - distclean-tags distdir dvi dvi-am html html-am info info-am \ - install install-am install-data install-data-am install-dvi \ - install-dvi-am install-exec install-exec-am install-html \ - install-html-am install-info install-info-am install-man \ - install-pdf install-pdf-am install-ps install-ps-am \ - install-strip installcheck installcheck-am installdirs \ - maintainer-clean maintainer-clean-generic mostlyclean \ - mostlyclean-compile mostlyclean-generic mostlyclean-libtool \ - pdf pdf-am ps ps-am tags uninstall uninstall-am - - -"@srcdir@/.generated": - mkdir -p "@srcdir@/generated" - -"@srcdir@/generated/AntlrSmtLexer.cpp": SmtLexer.g "@srcdir@/generated" - $(ANTLR) -o "@srcdir@/generated" "$<" -"@srcdir@/generated/AntlrSmtParser.cpp": SmtParser.g SmtVocabularyTokenTypes.hpp SmtVocabularyTokenTypes.txt "@srcdir@/generated" - $(ANTLR) -o "@srcdir@/generated" "$<" -AntlrSmtLexer.hpp SmtVocabularyTokenTypes.hpp SmtVocabularyTokenTypes.txt: AntlrSmtLexer.cpp -AntlrSmtParser.hpp: AntlrSmtParser.cpp + clean-libtool clean-noinstLTLIBRARIES ctags dist-hook \ + distclean distclean-compile distclean-generic \ + distclean-libtool distclean-tags distdir dvi dvi-am html \ + html-am info info-am install install-am install-data \ + install-data-am install-dvi install-dvi-am install-exec \ + install-exec-am install-html install-html-am install-info \ + install-info-am install-man install-pdf install-pdf-am \ + install-ps install-ps-am install-strip installcheck \ + installcheck-am installdirs maintainer-clean \ + maintainer-clean-generic mostlyclean mostlyclean-compile \ + mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \ + tags uninstall uninstall-am + + $(ANTLR_TOKEN_STUFF) +dist-hook: $(ANTLR_STUFF) +maintainerclean-local: + -rmdir @srcdir@/generated + -rm -f @srcdir@/stamp-generated + +@srcdir@/stamp-generated: + mkdir -p @srcdir@/generated + touch @srcdir@/stamp-generated +# antlr doesn't overwrite output files, it just leaves them. So we have to delete them first. +$(ANTLR_LEXER_STUFF): SmtLexer.g @srcdir@/stamp-generated + -rm -f $(ANTLR_LEXER_STUFF) + $(ANTLR) -o "@srcdir@/generated" "@srcdir@/SmtLexer.g" +# doesn't actually depend on the lexer, but if we're doing parallel +# 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) +$(ANTLR_PARSER_STUFF): SmtParser.g SmtLexer.g $(ANTLR_TOKEN_STUFF) @srcdir@/stamp-generated + -rm -f $(ANTLR_PARSER_STUFF) + $(ANTLR) -o "@srcdir@/generated" "@srcdir@/SmtParser.g" # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. |