summary refs log tree commit diff
diff options
context:
space:
mode:
authorJean-Pierre De Jesus DIAZ <jean@foundation.xyz>2024-06-24 13:58:16 +0200
committerjgart <jgart@dismail.de>2024-06-24 14:59:15 -0500
commit79f59b43d8a741b5624bf1f854502d2898fa8c6a (patch)
treea8df2023fd95537da3b8f21eed83aebe266890d1
parent8632bda8bb9e1bdff92ac303f82f25db56133c23 (diff)
downloadguix-79f59b43d8a741b5624bf1f854502d2898fa8c6a.tar.gz
gnu: frama-c: Use G-Expressions.
* gnu/packages/maths.scm (frama-c) <arguments>: Use G-Expressions.

Change-Id: I25670a3d7e735e001aba63628c2f046be07fc643
Signed-off-by: jgart <jgart@dismail.de>
-rw-r--r--gnu/packages/maths.scm10
1 files 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