Upload standalone binaries to release pages

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 standalone binaries to release pages #1711

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

There's also some minimal testing to see that the binaries work without installing all the extra Coq infrastructure.

Presumably we should get #1625 working and upload only statically-linked elf binaries (+ mac & windows), not separate binaries for docker, debian, etc. Also TODO: figuring out if we need to do extra things to get Windows binaries working (probably?).

On top of #1710

JasonGross commented 1 year ago

Only dumpbin fails, I'm going to merge this and then fix it immediately after, I don't want to bother with another round of CI.