diff options
Diffstat (limited to 'gnu/packages/maths.scm')
| -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 |