Create weekly build that produces FStar binaries

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Create weekly build that produces FStar binaries #55

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

Produce a Windows and Linux build of FStar to automate the release process better. Currently @catalin-hritcu spends a full day to put out the release

darrenge commented 7 years ago

Some documentation to use: https://github.com/FStarLang/FStar/wiki/F%2A-release-process https://github.com/FStarLang/FStar/wiki/Creating-binary-packages-for-your-platform https://github.com/FStarLang/FStar/blob/master/INSTALL.md#testing-a-binary-package

darrenge commented 7 years ago

Not sure which of these steps can be automated ... the more the better

[x] Create Build definition based on FStar-Nightly-Linux
[x] For Windows - need to create "FStar-Nightly-Windows"
[x] Build package ($ cd src/ocaml-output & $ make package)
[x] Test Binary package (maybe have it do output cmp or verify log files somehow)
[x] Update version.txt
[x] Create a new branch (i.e. v0.9.x.y)
[x] document the release
[x] update to the download site (https://www.fstar-lang.org/#download)

darrenge commented 7 years ago

The minor version is created each week. The major release still has these following manual steps: 1) Update https://github.com/FStarLang/FStar/blob/master/version.txt 2) Create a new branch based on that version 3) Document the release