From 8b87d095b39dee91056b88f96b374faa8c3a8891 Mon Sep 17 00:00:00 2001 From: Jakub Kądziołka 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') 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 _ -- cgit v1.2.3