summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorJakub Kądziołka <kuba@kadziolka.net>2020-03-29 20:34:47 +0200
committerJakub Kądziołka <kuba@kadziolka.net>2020-03-29 20:35:33 +0200
commit8b87d095b39dee91056b88f96b374faa8c3a8891 (patch)
treee74239496644593ba939904c3ad574065ead9570 /gnu/packages/maths.scm
parent04950d1ff6816d69723bbb176483dfbe230dcf41 (diff)
gnu: z3: Fix build determinism.
* gnu/packages/maths.scm (z3)[arguments]: Add a phase to set PYTHONHASHSEED=0.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm4
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index a2ed073fca..5e56289682 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -4210,6 +4210,10 @@ as equations, scalars, vectors, and matrices.")
(guix build utils))
#:phases
(modify-phases %standard-phases
+ (add-after 'unpack 'enable-bytecode-determinism
+ (lambda _
+ (setenv "PYTHONHASHSEED" "0")
+ #t))
(add-after 'unpack 'fix-compatability
;; Versions after 4.8.3 have immintrin.h IFDEFed for Windows only.
(lambda _