18/18: gnu: frama-c: Build verbosely.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 7abf96a2ec4a06ee239c68f700c7e6b9fe3c06b5
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sun Jul 16 02:00:06 2023 +0200

    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(+)

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