nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: z3: Unconditionally return #T from build phases. 

* gnu/packages/maths.scm (z3)[arguments]: Use INVOKE in build phases.
This commit is contained in:
Ricardo Wurmus 2019-04-28 11:37:30 +02:00
parent cb6f44d4e4
commit 32d5360f43
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gnu/packages/maths.scm
View File

@ -3983,8 +3983,7 @@ as equations, scalars, vectors, and matrices.")
#t))
(add-before 'configure 'bootstrap
(lambda _
(zero?
(system* "python" "scripts/mk_make.py"))))
(invoke "python" "scripts/mk_make.py")))
;; work around gnu-build-system's setting --enable-fast-install
;; (z3's `configure' is a wrapper around the above python file,
;; which fails when passed --enable-fast-install)
@ -3999,12 +3998,12 @@ as equations, scalars, vectors, and matrices.")
(add-before 'check 'make-test-z3
(lambda _
;; Build the test suite executable.
(zero? (system* "make" "test-z3" "-j"
(number->string (parallel-job-count))))))
(invoke "make" "test-z3" "-j"
(number->string (parallel-job-count)))))
(replace 'check
(lambda _
;; Run all the tests that don't require arguments.
(zero? (system* "./test-z3" "/a")))))))
(invoke "./test-z3" "/a"))))))
(native-inputs
`(("which" ,which)
("python" ,python-wrapper)))