New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

build fails on 32-bit #434

Open

JasonGross opened this issue Oct 26, 2024 · 1 comment

Contributor

JasonGross commented Oct 26, 2024

_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

The text was updated successfully, but these errors were encountered:

Contributor

andres-erbsen commented Jan 3, 2025

Not deliberate, but I don't think we test 32-bit ever, so 🤷‍♂️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment