diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 9e9f73a3b..41586cbe7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -33,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 |