Build universal (x86_64+arm64) binaries for MacOS

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat

http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf

Other

701 stars 144 forks source link

Build universal (x86_64+arm64) binaries for MacOS #1891

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

Fixes #1727

Note that this currently deliberately errors, because I need to check on the generated file name and figure out how to get etc/ci/find-arch.sh to emit "universal"