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/aidc.scm | |
parent | 04950d1ff6816d69723bbb176483dfbe230dcf41 (diff) | |
download | patches-8b87d095b39dee91056b88f96b374faa8c3a8891.tar patches-8b87d095b39dee91056b88f96b374faa8c3a8891.tar.gz |
gnu: z3: Fix build determinism.
* gnu/packages/maths.scm (z3)[arguments]: Add a phase to set
PYTHONHASHSEED=0.
Diffstat (limited to 'gnu/packages/aidc.scm')
0 files changed, 0 insertions, 0 deletions