diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-03-22 16:55:51 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-03-22 22:52:25 +0900 |
| commit | aa0bb0990ef6a7e63dcabadb2ec02bacf264573d (patch) | |
| tree | 3273684c887393cdc84fa90edf7c55c324c886e3 /gnu/packages | |
| parent | a1cbc4e0ab6395e6405f511baad85fe2c9b6b4cc (diff) | |
gnu: yices: Use gexp variables.
* gnu/packages/maths.scm (yices): [phases] <fix-build-files>: Use gexp
variable.
Change-Id: If40f787e3c6535edd14aec833de8beff79213d95
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/maths.scm | 5 |
1 files 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/") |