search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
720 stars 146 forks source link

Upload universal binaries for MacOS #1727

Closed JasonGross closed 6 months ago

JasonGross commented 1 year ago

With https://github.com/mit-plv/fiat-crypto/pull/1721 and https://github.com/mit-plv/fiat-crypto/pull/1711 we upload x86_64 binaries for Mac (and other platforms). It'd be nice to also upload arm64 binaries as well, or even better make a Mac universal binary with lipo -create -output universal_binary binary_x86_64 binary_arm64

JasonGross commented 11 months ago

There's some info here on cross-compiling

JasonGross commented 6 months ago

GitHub actions now provides both arm64 (macos-latest, macos-14, macos-latest-xlarge or macos-14-xlarge; or macos-13-xlarge), and x86_64 (macos-latest-large or macos-14-large; macos-13 or macos-13-large; macos-12 or macos-12-large), so this should be pretty easy.