Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update to zstd-jni-1.5.7-4;
authorwenzelm
Sat, 13 Sep 2025 19:51:53 +0200
changeset 83151 954fe62909e9
parent 83150 d1b49f9859ac
child 83152 5708aa8d1493
update to zstd-jni-1.5.7-4; enforce rebuild of Isabelle/ML and Isabelle/Scala;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_zstd.scala file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/ROOT.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Sep 13 19:38:20 2025 +0200
+++ b/Admin/components/components.sha1	Sat Sep 13 19:51:53 2025 +0200
@@ -670,3 +670,4 @@
 c101182780aeafbc2e0ea7e8b10b91c6f7483af2 zstd-jni-1.5.2-5.tar.gz
 d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
 43c9fc08e3de346292d591df8098d99a56dba1a3 zstd-jni-1.5.6-8.tar.gz
+a9d309500ff9600e8c3110f7e7edc47691de7877 zstd-jni-1.5.7-4.tar.gz
--- a/Admin/components/main	Sat Sep 13 19:38:20 2025 +0200
+++ b/Admin/components/main	Sat Sep 13 19:51:53 2025 +0200
@@ -45,4 +45,4 @@
 xz-java-1.10
 z3-4.4.0pre-4
 zipperposition-2.1-1
-zstd-jni-1.5.6-8
+zstd-jni-1.5.7-4
--- a/src/Pure/Admin/component_zstd.scala	Sat Sep 13 19:38:20 2025 +0200
+++ b/src/Pure/Admin/component_zstd.scala	Sat Sep 13 19:51:53 2025 +0200
@@ -32,7 +32,7 @@
 
   val license_url = "https://raw.githubusercontent.com/luben/zstd-jni/master/LICENSE"
   val default_download_url = "https://repo1.maven.org/maven2/com/github/luben/zstd-jni"
-  val default_version = "1.5.6-8"
+  val default_version = "1.5.7-4"
 
   def build_zstd(
     target_dir: Path = Path.current,
@@ -55,8 +55,10 @@
 
     /* jar */
 
+    Isabelle_System.make_directory(component_dir.lib)
+
     val jar_name = component_name + ".jar"
-    val jar = component_dir.path + Path.basic(jar_name)
+    val jar = component_dir.lib + Path.basic(jar_name)
     Isabelle_System.download_file(
       download_url + "/" + version + "/" + jar_name, jar, progress = progress)
 
@@ -71,7 +73,7 @@
     component_dir.write_settings("""
 ISABELLE_ZSTD_HOME="$COMPONENT"
 
-classpath "$ISABELLE_ZSTD_HOME/""" + jar_name + """"
+classpath "$ISABELLE_ZSTD_HOME/lib/""" + jar_name + """"
 """)
   }
 
--- a/src/Pure/ROOT.ML	Sat Sep 13 19:38:20 2025 +0200
+++ b/src/Pure/ROOT.ML	Sat Sep 13 19:51:53 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       395939fa-0e0a-4b36-9300-2c92c0362e47
+    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
--- a/src/Pure/ROOT.scala	Sat Sep 13 19:38:20 2025 +0200
+++ b/src/Pure/ROOT.scala	Sat Sep 13 19:51:53 2025 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       395939fa-0e0a-4b36-9300-2c92c0362e47
+    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
 
 Root of isabelle package.
 */
isabelle