apteryx pushed a commit to branch master
in repository guix.
commit aa0bb0990ef6a7e63dcabadb2ec02bacf264573d
Author: Maxim Cournoyer <[email protected]>
AuthorDate: Sat Mar 22 16:55:51 2025 +0900
gnu: yices: Use gexp variables.
* gnu/packages/maths.scm (yices): [phases] <fix-build-files>: Use gexp
variable.
Change-Id: If40f787e3c6535edd14aec833de8beff79213d95
---
gnu/packages/maths.scm | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index f153cf114f..8baf3a0a7f 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8181,7 +8181,7 @@ solver, that can compute Craig interpolants for various
theories.")
#:phases
#~(modify-phases %standard-phases
(add-after 'unpack 'fix-build-files
- (lambda* (#:key outputs #:allow-other-keys)
+ (lambda _
(substitute* "Makefile.build"
(("SHELL=.*") "")
(("/sbin/ldconfig") (which "ldconfig")))
@@ -8190,8 +8190,7 @@ solver, that can compute Craig interpolants for various
theories.")
(("/bin/ln") (which "ln"))
(("/sbin/ldconfig") (which "ldconfig"))
(("install_dir=.*")
- (string-append "install_dir="
- (assoc-ref outputs "out")))))))))
+ (string-append "install_dir=" #$output))))))))
(inputs (list cudd gmp gperf libpoly))
(native-inputs (list autoconf automake bash-minimal))
(home-page "https://yices.csl.sri.com/";)
