# HG changeset patch
# User wenzelm
# Date 1633607210 -7200
# Node ID 60eeb9952145833bccc53bd865bcd3611218b88e
# Parent  bd5998580edb4397e3c34659da26cba7037ae34f
proper build on macOS;

diff -r bd5998580edb -r 60eeb9952145 src/Pure/Admin/build_minisat.scala
--- a/src/Pure/Admin/build_minisat.scala	Thu Oct 07 13:12:08 2021 +0200
+++ b/src/Pure/Admin/build_minisat.scala	Thu Oct 07 13:46:50 2021 +0200
@@ -76,6 +76,10 @@
       val build_dir = tmp_dir + Path.basic(source_name)
       Isabelle_System.copy_file(build_dir + Path.explode("LICENSE"), component_dir)
 
+      if (Platform.is_macos) {
+        File.change(build_dir + Path.explode("Makefile"),
+          _.replaceAll("--static", "").replaceAll("-Wl,-soname\\S+", ""))
+      }
       progress.bash("make r", build_dir.file, echo = verbose).check
 
       Isabelle_System.copy_file(
@@ -100,7 +104,8 @@
         "This Isabelle component provides Minisat " + version + """using the
 sources from """.stripMargin + download_url + """
 
-The executables have been built via "make r".
+The executables have been built via "make r"; macOS requires to
+remove options "--static" and "-Wl,-soname,..." from the Makefile.
 
 
         Makarius