mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-11-27 19:19:01 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

[minisat] Fix missing headers (#31977)

Browse Source
This commit is contained in:
Billy O'Neal 2023-06-13 19:01:06 -07:00 committed by GitHub
parent dcd04502ec
commit d6116fe596
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
ports/minisat-master-keying/portfile.cmake
View File

@ -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(

1
ports/minisat-master-keying/vcpkg.json
View File

@ -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."

2
versions/baseline.json
View File

@ -5298,7 +5298,7 @@
},
"minisat-master-keying": {
"baseline": "2.3.6",
"port-version": 0
"port-version": 1
},
"minitrace": {
"baseline": "2023-04-23",

5
versions/m-/minisat-master-keying.json
View File

@ -1,5 +1,10 @@
{
"versions": [
{
"git-tree": "96e49304f51f7f37b5813ccb64cb6469a3301425",
"version": "2.3.6",
"port-version": 1
},
{
"git-tree": "e7f174538407ae3f279ab4c7d2025a8545d220c9",
"version": "2.3.6",