Adding quiet output of make by default. There are two additional options to configure

  --enable-silent-rules          less verbose build output (undo: `make V=1')
  --disable-silent-rules         verbose build output (undo: `make V=0')
If you need the verbose output, you can either reconfigure with --disable-silent-rules, or do a make V=0.

diff --git a/configure.ac b/configure.ac
index 0e08a0752243bcff26b7ad7cc9fdaaa89577f9c3..3da3671a9e615d0426889fe8f1c77f723c02e820 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -10,6 +10,8 @@ AC_CONFIG_SRCDIR([src/include/cvc4_config.h])
 AC_CONFIG_AUX_DIR([config])
 AC_CONFIG_MACRO_DIR([config])
 
+m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])])
+
 CVC4_MAJOR=0
 CVC4_MINOR=0
 CVC4_RELEASE=0