From 6be87e5bb97c596c2f46cd929e0aff5a9fbed330 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Fri, 3 Feb 2017 15:22:37 +0100
Subject: [PATCH] configure: allows to silent compilation

* HACKING, configure.ac: here.
---
 HACKING      | 10 ++++++++++
 configure.ac |  3 +++
 2 files changed, 13 insertions(+)

diff --git a/HACKING b/HACKING
index 71ed05695..047aa5da8 100644
--- a/HACKING
+++ b/HACKING
@@ -109,6 +109,16 @@ another "magic touch":
 
   touch doc/org-stamp
 
+Silent Building with automake
+-----------------------------
+
+The classical makefiles generated by automake are very verbose during
+build beacause they prints the full command line of every stage. This
+verbosity is very usefull to help (remotely) users to compile
+Spot. Nonetheless, for developpers, these compilations lines may be
+annoying. To reduce this verbosity, just run:
+
+  make V=0
 
 Debugging Libtool executables
 -----------------------------
diff --git a/configure.ac b/configure.ac
index 992afdda3..36dcdf118 100644
--- a/configure.ac
+++ b/configure.ac
@@ -44,6 +44,9 @@ AC_PROG_CXX
 AM_PROG_LEX
 adl_CHECK_BISON
 
+# Decrease verbosity when passing argument V=0
+AM_SILENT_RULES([no])
+
 # Option to activate C/C++14
 AC_ARG_ENABLE([c++14],
               [AC_HELP_STRING([--enable-c++14],