ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-25 20:19:18 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: frama-c: Use G-Expressions.

Browse source 
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.

Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
Signed-off-by: jgart <jgart@dismail.de>
This commit is contained in:
Jean-Pierre De Jesus DIAZ 2024-06-24 13:58:16 +02:00 committed by jgart
parent 8632bda8bb
commit 79f59b43d8
No known key found for this signature in database
GPG key ID: A52AA2B477B6DD35
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
gnu/packages/maths.scm
View file

@ -9544,11 +9544,11 @@ (define-public frama-c
"14vlvynp3yfmnkixm676c1ip0jlkiqjzmrp9f9c990zzs2wb7yyj"))))
(build-system dune-build-system)
(arguments
`(#:phases
(modify-phases %standard-phases
(add-before 'build 'set-env
(lambda _
(setenv "CC" "gcc"))))))
(list #:phases
#~(modify-phases %standard-phases
(add-before 'build 'set-env
(lambda _
(setenv "CC" "gcc"))))))
(inputs
(list gmp zlib))
(propagated-inputs (list