amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: yices: Use gexp variables.

Browse source 
* gnu/packages/maths.scm (yices): [phases] <fix-build-files>: Use gexp
variable.

Change-Id: If40f787e3c6535edd14aec833de8beff79213d95
This commit is contained in:
Maxim Cournoyer 2025-03-22 16:55:51 +09:00
parent a1cbc4e0ab
commit aa0bb0990e
No known key found for this signature in database
GPG key ID: 1260E46482E63562
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/maths.scm
View file

@ -8181,7 +8181,7 @@ solver, that can compute Craig interpolants for various theories.")
#:phases #:phases
#~(modify-phases %standard-phases #~(modify-phases %standard-phases
(add-after 'unpack 'fix-build-files (add-after 'unpack 'fix-build-files
(lambda* (#:key outputs #:allow-other-keys) (lambda _
(substitute* "Makefile.build" (substitute* "Makefile.build"
(("SHELL=.*") "") (("SHELL=.*") "")
(("/sbin/ldconfig") (which "ldconfig"))) (("/sbin/ldconfig") (which "ldconfig")))
@ -8190,8 +8190,7 @@ solver, that can compute Craig interpolants for various theories.")
(("/bin/ln") (which "ln")) (("/bin/ln") (which "ln"))
(("/sbin/ldconfig") (which "ldconfig")) (("/sbin/ldconfig") (which "ldconfig"))
(("install_dir=.*") (("install_dir=.*")
(string-append "install_dir=" (string-append "install_dir=" #$output))))))))
(assoc-ref outputs "out")))))))))
(inputs (list cudd gmp gperf libpoly)) (inputs (list cudd gmp gperf libpoly))
(native-inputs (list autoconf automake bash-minimal)) (native-inputs (list autoconf automake bash-minimal))
(home-page "https://yices.csl.sri.com/") (home-page "https://yices.csl.sri.com/")