From aa0bb0990ef6a7e63dcabadb2ec02bacf264573d Mon Sep 17 00:00:00 2001 From: Maxim Cournoyer Date: Sat, 22 Mar 2025 16:55:51 +0900 Subject: [PATCH] gnu: yices: Use gexp variables. * gnu/packages/maths.scm (yices): [phases] : 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 f153cf114f0..8baf3a0a7fb 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/")