version number for binary releases

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

131 stars 33 forks source link

version number for binary releases #1131

Closed Armael closed 1 month ago

Armael commented 4 months ago

There seems to be an issue with how binary releases are produced, in that the --version they return is the hash of the corresponding git commit, instead of a version number. This is problematic because :

it is not consistent with binaries produced when installing alt-ergo through opam
it makes why3 fail to detect the alt-ergo version (since why3 is expecting --version to behave as it does for opam-built releases)

bclement-ocp commented 1 month ago

Looks like this no longer works somehow? Re-opening; need to investigate before 2.6 release.

bclement-ocp commented 1 month ago

Actually it works but not if the release is created by GitHub UI (sigh).