build fails on 32-bit

Open JasonGross opened this issue 1 year ago • 1 comments

_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

Oct 26 '24 15:10 JasonGross

Not deliberate, but I don't think we test 32-bit ever, so :man_shrugging:

Jan 03 '25 00:01 andres-erbsen