diff options
| author | Jakub Kądziołka <kuba@kadziolka.net> | 2020-03-29 20:34:47 +0200 |
|---|---|---|
| committer | Jakub Kądziołka <kuba@kadziolka.net> | 2020-03-29 20:35:33 +0200 |
| commit | 8b87d095b39dee91056b88f96b374faa8c3a8891 (patch) | |
| tree | e74239496644593ba939904c3ad574065ead9570 /gnu/packages/maths.scm | |
| parent | 04950d1ff6816d69723bbb176483dfbe230dcf41 (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.scm | 4 |
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 _ |