build fails on 32-bit
Opened this issue · 0 comments
JasonGross commented
_bench/opam.NEW/log/coq-bedrock2-602151-478bfb.out
### output ###
# [...]
# > ^^^^^^^^^^
# Error: This number is too large.
#
# Coq <
# Unnamed_thm <
# Unnamed_thm <
# Unnamed_thm <
# Unnamed_thm <
# Coq <
# make[1]: *** [Makefile:89: special/BytedumpTest.out] Error 2
Is this deliberate? If so, we should adjust the Fiat Crypto opam packages to skip bedrock2 on 32 bit