fix loop detection for multi-vars

[cvc5.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index b3cd37e9a83ec70e60bd65fc715bf639d18203b6..41586cbe7eca0a036b5f9b68a763de02524d7649 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -12,6 +12,10 @@ DIST_SUBDIRS = $(SUBDIRS) 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
 systemtests regress regress0 regress1 regress2 regress3: all
        +(cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1
@@ -29,6 +33,15 @@ LCOV_EXCLUDES = \
        "/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
 
@@ -101,12 +114,16 @@ EXTRA_DIST = \
        Makefile.builds.in \
        Makefile.subdir \
        library_versions \
+       RELEASE-NOTES \
        config/build-type \
        config/mkbuilddir \
        config/doxygen.cfg \
-       doc/cvc4.1.in \
+       doc/find_public_interface.sh \
+       doc/cvc4.1_template.in \
        doc/cvc4.5.in \
-       doc/libcvc4.3.in \
+       doc/libcvc4.3_template.in \
+       doc/SmtEngine.3cvc_template.in \
+       doc/options.3cvc_template.in \
        doc/libcvc4parser.3.in \
        doc/libcvc4compat.3.in
 man_MANS = \
@@ -114,14 +131,23 @@ man_MANS = \
        doc/pcvc4.1 \
        doc/cvc4.5 \
        doc/libcvc4.3 \
+       doc/SmtEngine.3cvc \
+       doc/options.3cvc \
        doc/libcvc4parser.3 \
        doc/libcvc4compat.3
 
-doc/pcvc4.1:
+doc/pcvc4.1: doc/cvc4.1
        rm -f doc/pcvc4.1
-       $(LN_S) cvc4.1 doc/pcvc4.1
-
-dist-hook:
+       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:
@@ -130,7 +156,14 @@ distclean-local:
 # these have .in versions
 DISTCLEANFILES = \
        doc/cvc4.1 \
+       doc/cvc4.1_template \
+       doc/pcvc4.1 \
        doc/cvc4.5 \
        doc/libcvc4.3 \
+       doc/libcvc4.3_template \
        doc/libcvc4compat.3 \
-       doc/libcvc4parser.3
+       doc/libcvc4parser.3 \
+       doc/SmtEngine.3cvc \
+       doc/SmtEngine.3cvc_template \
+       doc/options.3cvc \
+       doc/options.3cvc_template