diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-23 04:29:59 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-23 04:29:59 -0700 |
| commit | 94e1770b5aa240a807955e2855253c0f3ef895a7 (patch) | |
| tree | fd5921e0fbbabe8e83630aaca53ad3313bc66b32 /.hgignore | |
| parent | f09b14f4b3f3915343b1279da286351ab5348eac (diff) | |
Write a new packaging script for Dafny
This is intended to superseed the PrepareDafnyZip.bat script. I tried doing this
as an msbuild config, then as a makefile, but the first one was too cumbersome
and the second one required too many dependencies to work properly (and parsing
JSON from a makefile is not fun).
The new script calls the Github API to retrieve the description of the latest z3
release, downloads the zip corresponding to each supported platfom, and
packages one copy of Dafny for each copy of z3 that the latest release
contains.
The next step will be to make Dafny load its binary from the z3 folder.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions