diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-05 09:14:39 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-18 17:15:25 -0400 |
| commit | 54977fe59a1dd28a20f7c01d10523f966fd67213 (patch) | |
| tree | 508209ca34c7d7a2fcf35c2c0430c84334f2764b /Makefile.am | |
| parent | aa16fb32ac7a66e327f32ea4c794a3ccf832c587 (diff) | |
Support a personal build configuration and make rules.
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 |