--- a/src/Pure/Admin/component_bash_process.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_bash_process.scala Thu Mar 28 11:35:39 2024 +0100
@@ -29,11 +29,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_APPLE_PLATFORM64")) orElse
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(apple = true)
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_csdp.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_csdp.scala Thu Mar 28 11:35:39 2024 +0100
@@ -80,11 +80,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(windows = true)
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_e.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_e.scala Thu Mar 28 11:35:39 2024 +0100
@@ -26,10 +26,7 @@
val component_dir =
Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_APPLE_PLATFORM64")) orElse
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse error("Bad platform")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(apple = true)
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_minisat.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_minisat.scala Thu Mar 28 11:35:39 2024 +0100
@@ -46,10 +46,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM()
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_rsync.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_rsync.scala Thu Mar 28 11:35:39 2024 +0100
@@ -48,10 +48,7 @@
val component_dir =
Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
- .getOrElse(error("Missing ISABELLE_PLATFORM64"))
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM()
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name))
--- a/src/Pure/Admin/component_spass.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_spass.scala Thu Mar 28 11:35:39 2024 +0100
@@ -54,10 +54,7 @@
val component_dir =
Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
- .getOrElse(error("Missing ISABELLE_PLATFORM64"))
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM()
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_vampire.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_vampire.scala Thu Mar 28 11:35:39 2024 +0100
@@ -48,10 +48,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM()
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_verit.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_verit.scala Thu Mar 28 11:35:39 2024 +0100
@@ -46,11 +46,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_WINDOWS_PLATFORM64")) orElse
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(windows = true)
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
--- a/src/Pure/Admin/component_zipperposition.scala Thu Mar 28 11:29:25 2024 +0100
+++ b/src/Pure/Admin/component_zipperposition.scala Thu Mar 28 11:35:39 2024 +0100
@@ -31,10 +31,7 @@
/* platform */
- val platform_name =
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
- error("Missing ISABELLE_PLATFORM64")
-
+ val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM()
val platform_dir =
Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))