From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 8 Mar 2010 16:40:29 +0000 (+0000)
Subject: Adding quiet output of make by default. There are two additional options to configure
X-Git-Tag: cvc5-1.0.0~9202
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b19de6b01d9a896560c39c9ef4a3731cf29b19d;p=cvc5.git

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 0e08a0752..3da3671a9 100644
--- 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