From fb7b8365fe34c8037ef504339abf4db07930fdaa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Ho=C5=99e=C5=88ovsk=C3=BD?= Date: Thu, 14 Jun 2018 22:37:39 +0200 Subject: [PATCH] Add a modernized cross-platform fork of MiniSat 2.2 (#3692) * Add a modernized cross-platform fork of MiniSat 2.2 * [minisat-master-keying] Put copyright in correct directory. Lowercase share name. --- ports/minisat-master-keying/CONTROL | 7 ++++++ ports/minisat-master-keying/portfile.cmake | 29 ++++++++++++++++++++++ 2 files changed, 36 insertions(+) create mode 100644 ports/minisat-master-keying/CONTROL create mode 100644 ports/minisat-master-keying/portfile.cmake diff --git a/ports/minisat-master-keying/CONTROL b/ports/minisat-master-keying/CONTROL new file mode 100644 index 0000000000..ca37399f28 --- /dev/null +++ b/ports/minisat-master-keying/CONTROL @@ -0,0 +1,7 @@ +Source: minisat-master-keying +Version: 2.2-mod-1 +Description: A minimalistic high-performance SAT solver + This is a modernized, cross-platform, CMake-enabled fork of the + original MiniSat. Since the original library is no longer under + development, post issues and pull requests should be posted to + https://github.com/master-keying/minisat diff --git a/ports/minisat-master-keying/portfile.cmake b/ports/minisat-master-keying/portfile.cmake new file mode 100644 index 0000000000..e035c2fe4c --- /dev/null +++ b/ports/minisat-master-keying/portfile.cmake @@ -0,0 +1,29 @@ +if (VCPKG_LIBRARY_LINKAGE STREQUAL dynamic) + message(STATUS "Warning: Dynamic building not supported yet. Building static.") + set(VCPKG_LIBRARY_LINKAGE static) +endif() + +include(vcpkg_common_functions) + +vcpkg_from_github( + OUT_SOURCE_PATH SOURCE_PATH + REPO master-keying/minisat + REF 60f47c0b59a5116639a73ceb9b50eb818536af0b + SHA512 267b7dd44bd1390826228c45ce0e71976a78940d2086470a26b59a6c692ad5e0e911c255eda0c187c33f8138b34deab59aa53191a0e1a46df38c5b73680d74d6 + HEAD_REF master +) + +vcpkg_configure_cmake( + SOURCE_PATH ${SOURCE_PATH} + PREFER_NINJA +) + +vcpkg_install_cmake() +vcpkg_fixup_cmake_targets(CONFIG_PATH lib/cmake/MiniSat TARGET_PATH share/minisat) + +if(VCPKG_LIBRARY_LINKAGE STREQUAL static) + file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/bin ${CURRENT_PACKAGES_DIR}/debug/bin) +endif() +file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include) + +file(INSTALL ${SOURCE_PATH}/LICENSE DESTINATION ${CURRENT_PACKAGES_DIR}/share/minisat-master-keying RENAME copyright)