From 8b87d095b39dee91056b88f96b374faa8c3a8891 Mon Sep 17 00:00:00 2001
From: Jakub Kądziołka <kuba@kadziolka.net>
Date: Sun, 29 Mar 2020 20:34:47 +0200
Subject: 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(+)

(limited to 'gnu/packages')

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 @@ (define-public z3
                   (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 _
-- 
cgit v1.2.3