branch master updated: gnu: z3: Fix build determinism.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

niedzejkob pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 8b87d09  gnu: z3: Fix build determinism.
8b87d09 is described below

commit 8b87d095b39dee91056b88f96b374faa8c3a8891
Author: Jakub Kądziołka <address@hidden>
AuthorDate: Sun Mar 29 20:34:47 2020 +0200

    gnu: z3: Fix build determinism.
    
    * gnu/packages/maths.scm (z3)[arguments]: Add a phase to set
      PYTHONHASHSEED=0.
---
 gnu/packages/maths.scm | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index a2ed073..5e56289 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 _