summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-07-16 02:00:06 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-07-16 02:00:08 +0200
commit7abf96a2ec4a06ee239c68f700c7e6b9fe3c06b5 (patch)
tree65db8ee65bee11f27f12aa6bae681ee24be17a7c
parentfcf54c717fced066d173b57debb232d34e2d96fa (diff)
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.
-rw-r--r--gnu/packages/maths.scm2
1 files changed, 2 insertions, 0 deletions
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