mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-22 02:07:56 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: frama-c: Build verbosely.

Browse source 
As verbosely as most other packages, that is.

* gnu/packages/maths.scm (frama-c)[arguments]: Add "--enable-verbosemake"
to #:configure-flags.
This commit is contained in:
Tobias Geerinckx-Rice 2023-07-16 02:00:06 +02:00
parent fcf54c717f
commit 7abf96a2ec
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/maths.scm
View file

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