From 7abf96a2ec4a06ee239c68f700c7e6b9fe3c06b5 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 16 Jul 2023 02:00:06 +0200
Subject: gnu: frama-c: Build verbosely.

As verbosely as most other packages, that is.

* gnu/packages/maths.scm (frama-c)[arguments]: Add "--enable-verbosemake"
to #:configure-flags.
---
 gnu/packages/maths.scm | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gnu/packages/maths.scm')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 40c1433284..8bfcd3c4db 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8171,6 +8171,8 @@ of C, Java, or Ada programs.")
     (build-system ocaml-build-system)
     (arguments
      `(#:tests? #f; no test target in Makefile
+       #:configure-flags
+       (list "--enable-verbosemake")    ; to aid debugging
        #:phases
        (modify-phases %standard-phases
          (add-before 'configure 'export-shell
-- 
cgit v1.2.3