repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);
--- a/Admin/components/components.sha1 Mon Nov 08 16:48:42 2021 +0100
+++ b/Admin/components/components.sha1 Mon Nov 08 19:25:17 2021 +0100
@@ -266,6 +266,7 @@
ad5d0e640ce3609a885cecab645389a2204e03bb macos_app-20150916.tar.gz
400af57ec5cd51f96928d9de00d077524a6fe316 macos_app-20181205.tar.gz
3bc42b8e22f0be5ec5614f1914066164c83498f8 macos_app-20181208.tar.gz
+5fb1a2d21b220d0e588790c0203ac87c10ed0870 minisat-2.2.1-1.tar.gz
ae76bfaade3bf72ff6b2d3aafcd52fa45609fcd1 minisat-2.2.1.tar.gz
eda10c62da927a842c0a8881f726eac85e1cb4f7 naproche-20210122.tar.gz
edcb517b7578db4eec1b6573b624f291776e11f6 naproche-20210124.tar.gz
--- a/Admin/components/main Mon Nov 08 16:48:42 2021 +0100
+++ b/Admin/components/main Mon Nov 08 19:25:17 2021 +0100
@@ -14,7 +14,7 @@
jfreechart-1.5.3
jortho-1.0-2
kodkodi-1.5.7
-minisat-2.2.1
+minisat-2.2.1-1
nunchaku-0.5
opam-2.0.7
polyml-5.9-5d4caa8f7148
--- a/src/Pure/Admin/build_minisat.scala Mon Nov 08 16:48:42 2021 +0100
+++ b/src/Pure/Admin/build_minisat.scala Mon Nov 08 19:25:17 2021 +0100
@@ -85,6 +85,10 @@
Isabelle_System.copy_file(
build_dir + Path.explode("build/release/bin/minisat").platform_exe, platform_dir)
+ if (Platform.is_windows) {
+ Isabelle_System.copy_file(Path.explode("/bin/cygwin1.dll"), platform_dir)
+ }
+
/* settings */