From d6116fe596f9c2e8b5fba6bb0c9104dae7fcfc70 Mon Sep 17 00:00:00 2001
From: Billy O'Neal <bion@microsoft.com>
Date: Tue, 13 Jun 2023 19:01:06 -0700
Subject: [PATCH] [minisat] Fix missing headers (#31977)

---
 ports/minisat-master-keying/portfile.cmake | 13 +++++++++++--
 ports/minisat-master-keying/vcpkg.json     |  1 +
 versions/baseline.json                     |  2 +-
 versions/m-/minisat-master-keying.json     |  5 +++++
 4 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/ports/minisat-master-keying/portfile.cmake b/ports/minisat-master-keying/portfile.cmake
index 3b487e3c0d..a88e29b663 100644
--- a/ports/minisat-master-keying/portfile.cmake
+++ b/ports/minisat-master-keying/portfile.cmake
@@ -1,11 +1,20 @@
 vcpkg_check_linkage(ONLY_STATIC_LIBRARY)
 
+vcpkg_download_distfile(
+    ADD_MISSING_HEADERS
+    URLS https://github.com/master-keying/minisat/commit/dde8a20c9c5ab0d2333ba7a338a7f4a769632b75.patch?full_index=1
+    SHA512 14b1ea9e72d969b0931a6ee571e4d7a591b6bdadd6b9c1e3696d902ab85caf22e0a65e4aadff3c16e55b2d5b04fa9f007bc015b6e914425c9932ca731f8445f2
+    FILENAME dde8a20c9c5ab0d2333ba7a338a7f4a769632b75.patch
+)
+
 vcpkg_from_github(
     OUT_SOURCE_PATH SOURCE_PATH
     REPO master-keying/minisat
-    REF v2.3.6
-    SHA512 48E7AC1C97EA58070EAB9310F977404295E881B1403D527A33E059A0BB5A16CAA9AF2FA9E5230AD7E53E008B83077E300B3BAEEB0C220BE4E52B6B85887A05E1
+    REF v2.3.6
+    SHA512 48E7AC1C97EA58070EAB9310F977404295E881B1403D527A33E059A0BB5A16CAA9AF2FA9E5230AD7E53E008B83077E300B3BAEEB0C220BE4E52B6B85887A05E1
     HEAD_REF master
+    PATCHES
+        "${ADD_MISSING_HEADERS}"
 )
 
 vcpkg_cmake_configure(
diff --git a/ports/minisat-master-keying/vcpkg.json b/ports/minisat-master-keying/vcpkg.json
index c2a89562ef..7b5a96c462 100644
--- a/ports/minisat-master-keying/vcpkg.json
+++ b/ports/minisat-master-keying/vcpkg.json
@@ -1,6 +1,7 @@
 {
   "name": "minisat-master-keying",
   "version": "2.3.6",
+  "port-version": 1,
   "description": [
     "A minimalistic high-performance SAT solver",
     "This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat."
diff --git a/versions/baseline.json b/versions/baseline.json
index fb1aa5420b..b0a5f7e417 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -5298,7 +5298,7 @@
     },
     "minisat-master-keying": {
       "baseline": "2.3.6",
-      "port-version": 0
+      "port-version": 1
     },
     "minitrace": {
       "baseline": "2023-04-23",
diff --git a/versions/m-/minisat-master-keying.json b/versions/m-/minisat-master-keying.json
index 9012522e49..34bcb247cf 100644
--- a/versions/m-/minisat-master-keying.json
+++ b/versions/m-/minisat-master-keying.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "96e49304f51f7f37b5813ccb64cb6469a3301425",
+      "version": "2.3.6",
+      "port-version": 1
+    },
     {
       "git-tree": "e7f174538407ae3f279ab4c7d2025a8545d220c9",
       "version": "2.3.6",