[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#71748] [PATCH 2/3] gnu: frama-c: Use G-Expressions.
From: |
Jean-Pierre De Jesus DIAZ |
Subject: |
[bug#71748] [PATCH 2/3] gnu: frama-c: Use G-Expressions. |
Date: |
Mon, 24 Jun 2024 13:58:16 +0200 |
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.
Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
---
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 90edd8a6e1..1df9931c69 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -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
--
2.45.1