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 | |
| 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.
| -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 |