jgart pushed a commit to branch master
in repository guix.
commit 79f59b43d8a741b5624bf1f854502d2898fa8c6a
Author: Jean-Pierre De Jesus DIAZ <[email protected]>
AuthorDate: Mon Jun 24 13:58:16 2024 +0200
gnu: frama-c: Use G-Expressions.
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.
Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
Signed-off-by: jgart <[email protected]>
---
gnu/packages/maths.scm | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 36040510c6..4bea32dcbe 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9544,11 +9544,11 @@ of C, Java, or Ada programs.")
"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
