mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-27 18:31:15 +08:00
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.
This commit is contained in:
parent
810268cc51
commit
fb7b8365fe
7
ports/minisat-master-keying/CONTROL
Normal file
7
ports/minisat-master-keying/CONTROL
Normal file
@ -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
|
29
ports/minisat-master-keying/portfile.cmake
Normal file
29
ports/minisat-master-keying/portfile.cmake
Normal file
@ -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)
|
Loading…
x
Reference in New Issue
Block a user