--- a/src/Pure/Admin/component_cvc5.scala Wed Dec 11 10:40:57 2024 +0100
+++ b/src/Pure/Admin/component_cvc5.scala Wed Dec 11 11:14:50 2024 +0100
@@ -19,17 +19,17 @@
val platforms: List[Download_Platform] =
List(
- Download_Platform("arm64-darwin", "cvc5-macOS-arm64-static-2024-03-20-ef2bc3f.zip"),
- Download_Platform("arm64-linux", "cvc5-Linux-arm64-static-2024-03-20-ef2bc3f.zip"),
- Download_Platform("x86_64-darwin", "cvc5-macOS-static-2024-03-20-ef2bc3f.zip"),
- Download_Platform("x86_64-linux", "cvc5-Linux-static-2024-03-20-ef2bc3f.zip"),
- Download_Platform("x86_64-windows", "cvc5-Win64-static-2024-03-20-ef2bc3f.zip"))
+ Download_Platform("arm64-darwin", "cvc5-macOS-arm64-static.zip"),
+ Download_Platform("arm64-linux", "cvc5-Linux-arm64-static.zip"),
+ Download_Platform("x86_64-darwin", "cvc5-macOS-x86_64-static.zip"),
+ Download_Platform("x86_64-linux", "cvc5-Linux-x86_64-static.zip"),
+ Download_Platform("x86_64-windows", "cvc5-Win64-x86_64-static.zip"))
/* build cvc5 */
val default_url = "https://github.com/cvc5/cvc5/releases/download"
- val default_version = "latest"
+ val default_version = "1.2.0"
def build_cvc5(
base_url: String = default_url,
@@ -48,7 +48,7 @@
for (platform <- platforms) {
Isabelle_System.with_tmp_dir("download") { download_dir =>
- val download = base_url + "/" + version + "/" + platform.download_name
+ val download = base_url + "/cvc5-" + version + "/" + platform.download_name
val archive_name =
Url.get_base_name(platform.download_name) getOrElse
@@ -86,11 +86,9 @@
/* README */
File.write(component_dir.README,
- """This distribution of cvc5 was assembled from official downloads
-from """ + base_url + """ for macOS, Linux,
-and Windows, with ARM64 support on macOS and Linux.
-
-The change id is ef2bc3f735df (3 weeks after cvc5-1.1.2).
+ """This distribution of cvc5 was assembled from official downloads from
+""" + base_url + """ --- the static.zip variants
+for macOS, Linux, and Windows, with ARM64 support on macOS and Linux.
The downloaded files were renamed and made executable.