# HG changeset patch
# User wenzelm
# Date 1710965569 -3600
# Node ID 67d28b35c5d8e25cf6d7ab2929b9d0fdc6dc1941
# Parent  b5cb8d56339f958e1f129e3705d84050329a31ad
build component for cvc5-latest (ef2bc3f735df);

diff -r b5cb8d56339f -r 67d28b35c5d8 src/Pure/Admin/component_cvc5.scala
--- a/src/Pure/Admin/component_cvc5.scala	Wed Mar 20 20:45:36 2024 +0100
+++ b/src/Pure/Admin/component_cvc5.scala	Wed Mar 20 21:12:49 2024 +0100
@@ -19,16 +19,17 @@
 
   val platforms: List[Download_Platform] =
     List(
-      Download_Platform("arm64-darwin", "cvc5-macOS-arm64-static.zip"),
-      Download_Platform("x86_64-darwin", "cvc5-macOS-static.zip"),
-      Download_Platform("x86_64-linux", "cvc5-Linux-static.zip"),
-      Download_Platform("x86_64-windows", "cvc5-Win64-static.zip"))
+      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"))
 
 
   /* build cvc5 */
 
   val default_url = "https://github.com/cvc5/cvc5/releases/download"
-  val default_version = "1.1.1"
+  val default_version = "latest"
 
   def build_cvc5(
     base_url: String = default_url,
@@ -47,7 +48,7 @@
 
     for (platform <- platforms) {
       Isabelle_System.with_tmp_dir("download") { download_dir =>
-        val download = base_url + "/cvc5-" + version + "/" + platform.download_name
+        val download = base_url + "/" + version + "/" + platform.download_name
 
         val archive_name =
           Url.get_base_name(platform.download_name) getOrElse
@@ -85,10 +86,11 @@
     /* README */
 
     File.write(component_dir.README,
-      """This distribution of cvc5 was assembled from the official downloads
-from """ + base_url + """ for 64bit macOS,
-Linux, and Windows. There is native support for macOS ARM64, but
-Linux ARM64 is missing.
+      """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).
 
 The downloaded files were renamed and made executable.