mit-plv/fiat-crypto

Upload universal binaries for MacOS

Closed this issue · 2 comments

JasonGross commented

With #1721 and #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

There's some info here on cross-compiling

JasonGross commented

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.