From b4db853a673c1b26de86756f2ba4a8ae8a43d3d9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 30 Jun 2022 10:49:31 +0200
Subject: [PATCH] [build] variable for verbose build

---
 Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 39951f04649..efe203b784e 100644
--- a/Makefile
+++ b/Makefile
@@ -33,13 +33,16 @@ $(error \
   "You should run ./configure first (or autoconf if there is no configure)")
 endif
 
+DUNE_BUILD_OPTS?=
+
 RELEASE?=no
 ifeq ($(RELEASE),yes)
-DUNE_BUILD_OPTS=--release
-else
-DUNE_BUILD_OPTS=
+DUNE_BUILD_OPTS+=--release
 endif
 
+DUNE_DISPLAY?=progress # Dune default, see '--display' dune option
+DUNE_BUILD_OPTS+=--display $(DUNE_DISPLAY)
+
 ###################
 # Frama-C Version #
 ###################
-- 
GitLab