diff options
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 130 |
1 files changed, 0 insertions, 130 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in deleted file mode 100644 index 7f34e69aa..000000000 --- a/Makefile.builds.in +++ /dev/null @@ -1,130 +0,0 @@ -# -*- makefile -*- -# -# This Makefile produces the Makefile in the top-level builds/ -# directory for standard-path builds (e.g., those configured from the -# source tree). It has some autoconf cruft in it, documented below. -# -# Its main purposes are to: -# 1. build the current build profile -# 2. set up builds/$(CURRENT_BUILD)/{bin,lib} symlinks -# 3. set up builds/bin and builds/lib symlinks - -# Include the "current" build profile. -include current - -# Set up $(MAKE) -@SET_MAKE@ - -# Set up some basic autoconf make vars -srcdir = @srcdir@ -builddir = @builddir@ -install_sh = @install_sh@ -mkinstalldirs = $(install_sh) -d -exec_prefix = @exec_prefix@ -prefix = @prefix@ -bindir = @bindir@ -libdir = @libdir@ -abs_builddir = @abs_builddir@ -distdir = @PACKAGE@-@VERSION@ -AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ -EXEEXT = @EXEEXT@ -SHELL = @SHELL@ -LIBTOOL = $(CURRENT_BUILD)/libtool - -# @ -AM_V_at = $(am__v_at_$(V)) -am__v_at_ = $(am__v_at_$(AM_DEFAULT_VERBOSITY)) -am__v_at_0 = @ -am__v_at_1 = -# mkinstalldirs (never prefix with @; not a top-level instruction) -AM_V_mkdir_noat = $(am__v_mkdir_noat_$(V)) -am__v_mkdir_noat_ = $(am__v_mkdir_noat_$(AM_DEFAULT_VERBOSITY)) -am__v_mkdir_noat_0 = $(SHELL) -c 'echo " MKDIR $$@"; $(mkinstalldirs) "$$@"' bash -am__v_mkdir_noat_1 = $(mkinstalldirs) -# mkinstalldirs (can prefix with @) -AM_V_mkdir = $(am__v_mkdir_$(V)) -am__v_mkdir_ = $(am__v_mkdir_$(AM_DEFAULT_VERBOSITY)) -am__v_mkdir_0 = @$(am__v_mkdir_noat_0) -am__v_mkdir_1 = $(am__v_mkdir_noat_1) - -# all the binaries that might need to be installed -# (it's not a fatal error for one/some don't exist in a given build -# configuration) -CVC4_BINARIES = cvc4$(EXEEXT) pcvc4$(EXEEXT) - -.PHONY: _default_build_ all examples -_default_build_: all -all: -# build the current build profile - $(AM_V_at)(cd $(CURRENT_BUILD) && $(MAKE) $@) -# set up builds/$(CURRENT_BUILD)/{bin,lib} - $(AM_V_mkdir) $(CURRENT_BUILD)/bin - $(AM_V_mkdir) $(CURRENT_BUILD)/lib -# symlink libcvc4, libcvc4parser - $(AM_V_at)cd $(CURRENT_BUILD)/lib && \ - ln -sf ../src/libcvc4.* \ - ../src/parser/libcvc4parser.* \ - . - -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ - test -d ../src/.libs && \ - ln -sf ../src/.libs/libcvc4.* \ - . - -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ - test -d ../src/parser/.libs && \ - ln -sf ../src/parser/.libs/libcvc4parser.* \ - . -# symlink the binaries - $(AM_V_at)cd $(CURRENT_BUILD)/bin && \ - for binary in $(CVC4_BINARIES); do \ - if test -x ../src/main/$$binary; then \ - ln -sf ../src/main/$$binary \ - . ; \ - else \ - rm -f "$$binary"; \ - fi; \ - done -# set up builds/doc and builds/examples - $(AM_V_at)rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin - $(AM_V_at)rm -f lib; ln -sf $(CURRENT_BUILD)/lib lib - $(AM_V_at)rm -f doc; ln -sf $(CURRENT_BUILD)/doc doc - $(AM_V_at)rm -f examples; ln -sf $(CURRENT_BUILD)/examples examples - -# The descent into "src" with target "check" is to build check -# prerequisites (e.g. CHECK_PROGRAMS, CHECK_LTLIBRARIES, ...). -check test units: all - (cd $(CURRENT_BUILD)/src && $(MAKE) check) - +(cd $(CURRENT_BUILD)/test && $(MAKE) $@) -systemtests regress: all - +(cd $(CURRENT_BUILD)/test && $(MAKE) $@) -units%: all - (cd $(CURRENT_BUILD)/src && $(MAKE) check) - +(cd $(CURRENT_BUILD)/test && $(MAKE) units TEST_PREFIX=$(subst units:,,$@)) -regress%: all - +(cd $(CURRENT_BUILD)/test && $(MAKE) $@) - -dist: - (cd $(CURRENT_BUILD) && $(MAKE) $@) - $(install_sh) \ - $(CURRENT_BUILD)/$(distdir).tar.gz \ - "`pwd`" - -TAGS tags: - +(cd $(CURRENT_BUILD) && $(MAKE) $@) - ln -sf $(CURRENT_BUILD)/TAGS . - -.PHONY: TAGS tags - -.PHONY: doc-builds doc-prereq -doc-builds: doc-prereq - +(cd $(CURRENT_BUILD) && $(MAKE) doxygen-doc CVC4_DOXYGEN_INPUT="`builddir="$(builddir)" srcdir="$(srcdir)" "$(srcdir)/doc/find_public_interface.sh"`") -doc-internals-builds: doc-prereq - +(cd $(CURRENT_BUILD) && $(MAKE) doxygen-doc CVC4_DOXYGEN_INPUT="$(srcdir)/src src") -doc-prereq: - +(cd $(CURRENT_BUILD) && for dir in `find . -name Makefile | xargs grep -l BUILT_SOURCES`; do (cd `dirname "$$dir"`; (cat Makefile; echo 'doc-prereq: $$(BUILT_SOURCES)') | $(MAKE) -f- doc-prereq); done) - -# Any other target than the default doesn't do the extra stuff above. -# Split out "examples" target, recent Makes don't want them combined. -examples: - +(cd $(CURRENT_BUILD) && $(MAKE) $@) -%: - +(cd $(CURRENT_BUILD) && $(MAKE) $@) |