mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-06-17 16:34:05 +02:00
Sören Tempel
0043e6b109
* gnu/packages/patches/cvc5-reproducible-build.patch: New patch. * gnu/local.mk (dist_patch_DATA) Register it. * gnu/packages/maths.scm (cvc5)[patches]: Use it. Change-Id: I03e1b12a1fdaa37c327860c7890ab0f1389f8f87
27 lines
981 B
Diff
27 lines
981 B
Diff
This makes the cvc5 build reproducible.
|
|
|
|
See: https://github.com/cvc5/cvc5/pull/12580
|
|
|
|
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
|
|
index 5bd9f0da1..d1fc2e6fa 100644
|
|
--- a/src/options/mkoptions.py
|
|
+++ b/src/options/mkoptions.py
|
|
@@ -281,7 +281,7 @@ def generate_public_includes(modules):
|
|
headers.add(format_include("<unordered_map>"))
|
|
for _, option in all_options(modules):
|
|
headers.update([format_include(x) for x in option.includes])
|
|
- return '\n'.join(headers)
|
|
+ return '\n'.join(sorted(headers))
|
|
|
|
|
|
def generate_option_enum_and_table(modules):
|
|
@@ -307,7 +307,7 @@ def generate_option_enum_and_table(modules):
|
|
for module, option in all_options(modules, True):
|
|
if not option.long:
|
|
continue
|
|
- for name in option.names:
|
|
+ for name in sorted(option.names):
|
|
res.append(' {{ \"{}\", OptionEnum::{} }},'
|
|
.format(name, option.enum_name()))
|
|
res.append('};')
|