From 32d5360f43908a34b3315ec7d1d558504ef5257e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sun, 28 Apr 2019 11:37:30 +0200 Subject: gnu: z3: Unconditionally return #T from build phases. * gnu/packages/maths.scm (z3)[arguments]: Use INVOKE in build phases. --- gnu/packages/maths.scm | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6aa402b823..adc8c255ac 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3983,8 +3983,7 @@ (define-public z3 #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 @@ (define-public z3 (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))) -- cgit v1.2.3