# HG changeset patch
# User wenzelm
# Date 1667672028 -3600
# Node ID badbae70c51ab1658c9729f526febc4376ffbc4f
# Parent  8dbda1b611e9fca981d998957a7cf859a4321ee6
tuned signature;

diff -r 8dbda1b611e9 -r badbae70c51a src/Pure/Admin/build_zstd.scala
--- a/src/Pure/Admin/build_zstd.scala	Sat Nov 05 16:24:59 2022 +0100
+++ b/src/Pure/Admin/build_zstd.scala	Sat Nov 05 19:13:48 2022 +0100
@@ -10,7 +10,7 @@
 object Build_Zstd {
   /* platforms */
 
-  sealed case class Platform(name: String, template: String, exe: Boolean = false) {
+  sealed case class Platform_Info(name: String, template: String, exe: Boolean = false) {
     def install(jar_dir: Path, component_dir: Path, version: String): Unit = {
       val source = jar_dir + Path.explode(template.replace("{V}", version))
       val target = Isabelle_System.make_directory(component_dir + Path.basic(name))
@@ -21,11 +21,11 @@
 
   private val platforms =
     List(
-      Platform("arm64-darwin", "darwin/aarch64/libzstd-jni-{V}.dylib"),
-      Platform("x86_64-darwin", "darwin/x86_64/libzstd-jni-{V}.dylib"),
-      Platform("arm64-linux", "linux/aarch64/libzstd-jni-{V}.so"),
-      Platform("x86_64-linux", "linux/amd64/libzstd-jni-{V}.so"),
-      Platform("x86_64-windows", "win/amd64/libzstd-jni-{V}.dll", exe = true))
+      Platform_Info("arm64-darwin", "darwin/aarch64/libzstd-jni-{V}.dylib"),
+      Platform_Info("x86_64-darwin", "darwin/x86_64/libzstd-jni-{V}.dylib"),
+      Platform_Info("arm64-linux", "linux/aarch64/libzstd-jni-{V}.so"),
+      Platform_Info("x86_64-linux", "linux/amd64/libzstd-jni-{V}.so"),
+      Platform_Info("x86_64-windows", "win/amd64/libzstd-jni-{V}.dll", exe = true))
 
 
   /* build zstd */