me
/
guix
Archived
1
0
Fork 0
Code

gnu: z3: Fix build determinism. 

* gnu/packages/maths.scm (z3)[arguments]: Add a phase to set
  PYTHONHASHSEED=0.
master
Jakub Kądziołka 2020-03-29 20:34:47 +02:00
parent 04950d1ff6
commit 8b87d095b3
No known key found for this signature in database
GPG Key ID: E315A75846131564
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/maths.scm
View File

@ -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 _