# HG changeset patch
# User wenzelm
# Date 1636395917 -3600
# Node ID f345da8defff747aeda6bb556acd0c223d908e27
# Parent  255e651a4c5f6f50410cb95fb927f4f1398ce93e
repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);

diff -r 255e651a4c5f -r f345da8defff Admin/components/components.sha1
--- 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
diff -r 255e651a4c5f -r f345da8defff Admin/components/main
--- 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
diff -r 255e651a4c5f -r f345da8defff src/Pure/Admin/build_minisat.scala
--- 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 */