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 @@ (define-public frama-c
     (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