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

Disable implicit suffix rules in submakefiles #1902

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

I believe this was causing issues, e.g., here when uploaded artifacts failed to preserve relative timestamps on .o files vs output executables, and as a result invoked automatic suffix rules and failed.