diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:06 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:08 +0200 |
commit | 7abf96a2ec4a06ee239c68f700c7e6b9fe3c06b5 (patch) | |
tree | 65db8ee65bee11f27f12aa6bae681ee24be17a7c /gnu | |
parent | fcf54c717fced066d173b57debb232d34e2d96fa (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.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/maths.scm | 2 |
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 |