Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_minisat.scala
changeset 83146 87c96d455992
parent 82610 3133f9748ea8 
--- a/src/Pure/Admin/component_minisat.scala	Fri Sep 12 22:42:03 2025 +0200
+++ b/src/Pure/Admin/component_minisat.scala	Sat Sep 13 14:26:14 2025 +0200
@@ -46,7 +46,7 @@
 
       /* platform */
 
-      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM()
+      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM(apple = true)
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
 
@@ -86,7 +86,7 @@
       /* settings */
 
       component_dir.write_settings("""
-MINISAT_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
+MINISAT_HOME="$COMPONENT/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
 
 ISABELLE_MINISAT="$MINISAT_HOME/minisat"
 """)
isabelle