Record in package.py how to use a specific Z3 release.

dafny-lang · Jan 9, 2018 · e91ffa3 · e91ffa3
1 parent 205f671
commit e91ffa3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/package.py b/package.py
@@ -15,7 +15,10 @@
 # Configuration
 
 ## Where do we fetch the list of releases from?
-RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/latest"
+## Get the latest release like this:
+## RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/latest"
+## Get a specific release like this:
+RELEASES_URL = "https://api.github.com/repos/Z3Prover/z3/releases/tags/z3-4.5.0"
 ## How do we extract info from the name of a release file?
 RELEASE_REGEXP = re.compile(r"^(?P<directory>z3-[0-9\.]+-(?P<platform>x86|x64)-(?P<os>[a-z0-9\.\-]+)).zip$", re.IGNORECASE)