Stream: Coq devs & plugin devs

Topic: Where is the MacOS version in Coq 8.14+?


view this post on Zulip Michael Soegtrop (Mar 22 2022 at 18:25):

The MacOS installer creator extracts the Application version from here (https://github.com/coq/coq/blob/34da65afbe8fec419498f113548a7a58638cf404/configure.ml#L16).

This file is gone in 8.14+. Any idea where I could get this information?

I could auto create it with some script hacking, but I am not so sure what the policy was for beta versions.

view this post on Zulip Théo Zimmermann (Mar 22 2022 at 18:28):

Indeed, this was removed in https://github.com/coq/coq/pull/14068.

view this post on Zulip Théo Zimmermann (Mar 22 2022 at 18:29):

In principle, the coq_macos_version was the same as the coq_version except for pre-releases (where it was X.(Y-1).99).

view this post on Zulip Michael Soegtrop (Mar 22 2022 at 18:43):

I see - for the time being I will just throw an error if the version is non numeric and implement a conversion for the 8.16~rc1.


Last updated: Dec 07 2023 at 04:02 UTC