Dear Coq Platform team: As you know, VST tag v2.9 is part of the forthcoming Coq Platform beta. I would like to turn VST tag 2.9 into VST release 2.9. For the release notes, I would like to write something similar to the VST release 2.8 notes, https://github.com/PrincetonUniversity/VST/releases/tag/v2.8,
which say, basically, "best to get VST from the Coq Platform, but here are some opam instructions if you prefer that." Can someone advise me what would be the best instructions for the VST 2.9 release (perhaps some variation of the VST 2.8 release instructions) ?
If you wait for a few days, the 2022.01 platform release will be available, and you can point to it directly. If you prefer to release today, then you can point to the current HEAD commit of the main
branch (and possibly update the release notes to point to the tagged release afterward).
From the main branch, the Coq Platform 2022.01 should be usable as is already (only very minor last changes are in the pipes). VST 2.9 is available through the 8.15 beta pick.
Thank you Theo, but my problem is that I don't know how to translate that information into the kind of instructions that someone can use who is not an opam expert. I can certainly wait for a few days, but then I would like to understand what more specific thing or instructions I can point to.
Users should get instructions amounting to "To use VST 2.9 as of today, you can run the installation scripts of the Coq Platform 2022.01 and select the 8.15 beta pick when prompted. Binary installers of Coq 8.15 bundled with VST 2.9 are also available from the Coq Platform 2022.01 download page."
Until the release is actually done and the installers are produced and uploaded, only the script-based method (using the main
branch) will be available.
@Andrew Appel : how about
The simplest way to install VST is to install the Coq Platform.
The just released Coq Platform 2022.01 already contains VST 2.9 in the 8.15~beta1 package pick.
If you install Coq Platform via the "coq_platform_make.sh" script, it will ask you which package pick to install.
Please note:
I am btw thinking about also releasing macOS and Windows installers for the 8.15~beta1 pick.
I am btw thinking about also releasing macOS and Windows installers for the 8.15~beta1 pick.
Yes, I think we should. I think there were some for the 8.14 beta the last time.
OK. I will then do installers for the 8.15 beta as well. @Andrew Appel : this makes it easier for you, since then you also have installers which contain VST 2.9.
Btw.: it is really easy to create custom picks, e.g. for lectures, in case the release schedule doesn't fit well. You just need to copy and modify one of the files in the package_picks folder. You can distribute just this file, ask people to copy it into a standard Coq Platform folder - the script will pick it up. You you can also easily create Windows and Mac Installers from this.
Last updated: Jun 03 2023 at 03:01 UTC