diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 172 |
1 files changed, 0 insertions, 172 deletions
diff --git a/Makefile.am b/Makefile.am deleted file mode 100644 index 4f624e39a..000000000 --- a/Makefile.am +++ /dev/null @@ -1,172 +0,0 @@ -include $(top_srcdir)/config/doxygen.am - -AM_CXXFLAGS = -Wall -Wno-unknown-pragmas - -AUTOMAKE_OPTIONS = foreign -ACLOCAL_AMFLAGS = -I config - -SUBDIRS_BASE = src test contrib -if CVC4_PROOF - SUBDIRS = proofs/signatures $(SUBDIRS_BASE) -else - SUBDIRS = $(SUBDIRS_BASE) -endif -DIST_SUBDIRS = $(SUBDIRS) examples - - -.PHONY: examples -examples: all - (cd examples && $(MAKE) $(AM_MAKEFLAGS)) - -.PHONY: install-examples -install-examples: - (cd examples && $(MAKE) $(AM_MAKEFLAGS) install-data) - -.PHONY: units systemtests regress regress0 regress1 regress2 regress3 regress4 -systemtests regress regress0 regress1 regress2 regress3 regress4: all - +(cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1 -# We descend into "src" with the "check" target here to ensure that -# the test prerequisites are all built. -units: - (cd src && $(MAKE) $(AM_MAKEFLAGS) check) - +(cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1 - -LCOV = lcov -GENHTML = genhtml - -LCOV_EXCLUDES = \ - "$(CXXTEST)/*" \ - "/usr/include/*" \ - "$(abs_top_builddir)/test/*" - -.PHONY: show-config -show-config: - @echo - @echo '===============================================================================' - @echo 'This CVC4 build was configured with:' - @echo ' configure $(cvc4_config_cmdline)' - @echo '===============================================================================' - @echo - -.PHONY: lcov lcov-all lcov18 -if COVERAGE_ENABLED - -# lcov 1.7 has some bugs that we have to work around (can't do -# baseline measurement, merge between different test-names doesn't -# work...) -lcov: all - $(LCOV) -z -d . - (cd src && $(MAKE) $(AM_MAKEFLAGS) check) - +(cd test/unit && $(MAKE) $(AM_MAKEFLAGS) check) - $(LCOV) -c -d . -t cvc4_units -o cvc4-coverage-full.info - $(LCOV) -o cvc4-coverage.info -r cvc4-coverage-full.info $(LCOV_EXCLUDES) - mkdir -p "@top_srcdir@/html" - $(GENHTML) -o "@top_srcdir@/html" cvc4-coverage.info - @echo "De-mangling C++ symbols..." - @find "@top_srcdir@/html" -name '*.func.html' | \ - xargs perl -pi -e 's#(<td class="coverFn"><a href=".*">)(.*)(</a></td>)#$$_=`c++filt "$$2"`;chomp;print "$$1<xmp>$$_</xmp>$$3\n";#e' - -lcov-all: all - $(LCOV) -z -d . - (cd src && $(MAKE) $(AM_MAKEFLAGS) check) - +(cd test && $(MAKE) $(AM_MAKEFLAGS) check) - $(LCOV) -c -d . -t cvc4_units -o cvc4-coverage-full.info - $(LCOV) -o cvc4-coverage.info -r cvc4-coverage-full.info $(LCOV_EXCLUDES) - mkdir -p "@top_srcdir@/html" - $(GENHTML) -o "@top_srcdir@/html" cvc4-coverage.info - @echo "De-mangling C++ symbols..." - @find "@top_srcdir@/html" -name '*.func.html' | \ - xargs perl -pi -e 's#(<td class="coverFn"><a href=".*">)(.*)(</a></td>)#$$_=`c++filt "$$2"`;chomp;print "$$1<xmp>$$_</xmp>$$3\n";#e' - -# when we get a working lcov, we can do better stats for -# modules/test-types; unfortunately lcov 1.8 directory paths -# are broken(?) or at least different than 1.7 -lcov18: all - +@for testtype in public black white; do \ - echo; echo "=== Collecting coverage data from $$testtype unit tests ==="; \ - echo $(LCOV) -z -d .; \ - $(LCOV) -z -d . || exit 1; \ - echo "(cd src && $(MAKE) $(AM_MAKEFLAGS) check) || exit 1"; \ - (cd src && $(MAKE) $(AM_MAKEFLAGS) check) || exit 1; \ - echo "(cd test/unit && $(MAKE) $(AM_MAKEFLAGS) check TEST_SUFFIX=_$$testtype) || exit 1"; \ - (cd test/unit && $(MAKE) $(AM_MAKEFLAGS) check TEST_SUFFIX=_$$testtype) || exit 1; \ - echo $(LCOV) -c -d . -t $$testtype -o cvc4-coverage-$$testtype-full.info || exit 1; \ - $(LCOV) -c -d . -t $$testtype -o cvc4-coverage-$$testtype-full.info || exit 1; \ - echo $(LCOV) -o cvc4-coverage-$$testtype.info -r cvc4-coverage-$$testtype-full.info $(LCOV_EXCLUDES); \ - $(LCOV) -o cvc4-coverage-$$testtype.info -r cvc4-coverage-$$testtype-full.info $(LCOV_EXCLUDES) || exit 1; \ - echo; \ - done - mkdir -p "@top_srcdir@/html" - $(GENHTML) -o "@top_srcdir@/html" cvc4-coverage-public.info cvc4-coverage-black.info cvc4-coverage-white.info - @echo "De-mangling C++ symbols..." - @find "@top_srcdir@/html" -name '*.func.html' | \ - xargs perl -ni -e 's,(<td class="coverFn"><a href=".*">)(.*)(</a></td>.*),$$_=`c++filt "$$2"`;chomp;print "$$1<xmp>$$_</xmp>$$3\n";,e || print' - -else - -lcov lcov-all lcov18: - @echo - @echo "Coverage is not enabled in this build." >&2 - @echo "Please run configure with --enable-coverage." >&2 - @echo - @false - -endif - -# abs_srcdir is required here to get this Makefile instead of the -# Makefile in the builddir (since $(srcdir) is stripped off of -# EXTRA_DIST files) -EXTRA_DIST = \ - Makefile.builds.in \ - Makefile.subdir \ - library_versions \ - RELEASE-NOTES \ - config/build-type \ - config/mkbuilddir \ - config/doxygen.cfg \ - doc/find_public_interface.sh \ - doc/cvc4.1_template.in \ - doc/cvc4.5.in \ - doc/libcvc4.3.in \ - doc/SmtEngine.3cvc_template.in \ - doc/options.3cvc_template.in \ - doc/libcvc4parser.3.in - -man_MANS = \ - doc/cvc4.1 \ - doc/pcvc4.1 \ - doc/cvc4.5 \ - doc/libcvc4.3 \ - doc/SmtEngine.3cvc \ - doc/options.3cvc \ - doc/libcvc4parser.3 - -doc/pcvc4.1: doc/cvc4.1 - rm -f doc/pcvc4.1 - cp -p "$<" "$@" - -# Can't put the first several in EXTRA_DIST because those are processed -# *before* recursive "make dist", and these files are generated in a -# subdirectory invocation of "make dist". -# -# The Makefile also can't go in EXTRA_DIST, because then automake thinks -# it's the one in the builddir and we want the one from the srcdir. -dist-hook: doc/cvc4.1 doc/libcvc4.3 doc/SmtEngine.3cvc doc/options.3cvc - cp -p $^ "$(distdir)/doc" - cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile" - -distclean-local: - test -z "$(DX_DOCDIR)" || rm -fr "$(DX_DOCDIR)" - -# these have .in versions -DISTCLEANFILES = \ - doc/cvc4.1 \ - doc/cvc4.1_template \ - doc/pcvc4.1 \ - doc/cvc4.5 \ - doc/libcvc4.3 \ - doc/libcvc4parser.3 \ - doc/SmtEngine.3cvc \ - doc/SmtEngine.3cvc_template \ - doc/options.3cvc \ - doc/options.3cvc_template |