# HG changeset patch
# User wenzelm
# Date 1709321483 -3600
# Node ID 788f11af98227dc3375cb244f76a28776955e2a2
# Parent  05088f901e2181aa14c0e2d72ec724a499d44e84
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;

diff -r 05088f901e21 -r 788f11af9822 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Mar 01 16:27:36 2024 +0100
+++ b/Admin/components/components.sha1	Fri Mar 01 20:31:23 2024 +0100
@@ -95,6 +95,7 @@
 813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
 6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
 a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
+230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
 239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
 4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
diff -r 05088f901e21 -r 788f11af9822 src/Pure/Admin/component_e.scala
--- a/src/Pure/Admin/component_e.scala	Fri Mar 01 16:27:36 2024 +0100
+++ b/src/Pure/Admin/component_e.scala	Fri Mar 01 20:31:23 2024 +0100
@@ -10,7 +10,7 @@
 object Component_E {
   /* build E prover */
 
-  val default_version = "2.6"
+  val default_version = "3.0.03"
   val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
 
   def build_e(
@@ -77,7 +77,7 @@
       /* settings */
 
       component_dir.write_settings("""
-E_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
+E_HOME="$COMPONENT/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
 E_VERSION=""" + quote(version) + """
 """)