mirror/vcpkg
1
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-03 14:39:08 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
09076d18da
vcpkg/ports/minisat-master-keying/portfile.cmake

33 lines
1.2 KiB
CMake
Raw Normal View History

Remove references to CMAKE_WINDOWS_EXPORT_ALL_SYMBOLS (#5937) * [various ports] remove references to CMAKE_WINDOWS_EXPORT_ALL_SYMBOLS * [alac,benchmark,capnproto] Fix check_linkage call * [fastlz] Fix SHA512 * [coroutine] Fix dynamic build * [folly] Find double-conversion * [gamma] Use vcpkg_from_github * [librsync] Enable static builds * [netcdf-cxx4] Fix SHA512 * [octomap] Fix static build * [tidy-html5] Fix static build * [various ports] remove custom messages for shared/static builds, modernize some scripts in the meantime * [folly] Use ras0219's fix for link paths * [octomap] Fix exported targets * [uvatlas] Set tool download SHA512 * [duktape+python2] fix portfile to call configure with correct python version, manage python2 also outside win32 * [suitesparse] osx fix * [gtkmm] Call vcpkg_check_linkage after including vcpkg functions * [duktape] Resolve conflicts * [duktape] FIxed typo in Python paths * [wangle] Find zlib * [openssl-uwp] Fix SHA512 * [glib] Allow static builds on non-Windows * [suitesparse] Fix build on Windows * [multiple ports] Bump CONTROL version * [multiple ports] Fix description indent * [directxtk] Fix CONTROL file * [bde,duktape,qpid-proton] Build packages with python2 installed * [binn] remove CMAKE_WINDOWS_EXPORT_ALL_SYMBOLS * [gdal,live555,uriparser] Fix regressions * [live555] Update to 2019.04.24
2019-05-03 13:57:43 +08:00
vcpkg_check_linkage(ONLY_STATIC_LIBRARY)
[minisat] Fix missing headers (#31977)
2023-06-14 10:01:06 +08:00
vcpkg_download_distfile(
ADD_MISSING_HEADERS
URLS https://github.com/master-keying/minisat/commit/dde8a20c9c5ab0d2333ba7a338a7f4a769632b75.patch?full_index=1
SHA512 14b1ea9e72d969b0931a6ee571e4d7a591b6bdadd6b9c1e3696d902ab85caf22e0a65e4aadff3c16e55b2d5b04fa9f007bc015b6e914425c9932ca731f8445f2
FILENAME dde8a20c9c5ab0d2333ba7a338a7f4a769632b75.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.
2018-06-15 04:37:39 +08:00
vcpkg_from_github(
OUT_SOURCE_PATH SOURCE_PATH
REPO master-keying/minisat
[minisat] Fix missing headers (#31977)
2023-06-14 10:01:06 +08:00
REF v2.3.6
SHA512 48E7AC1C97EA58070EAB9310F977404295E881B1403D527A33E059A0BB5A16CAA9AF2FA9E5230AD7E53E008B83077E300B3BAEEB0C220BE4E52B6B85887A05E1
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.
2018-06-15 04:37:39 +08:00
HEAD_REF master
[minisat] Fix missing headers (#31977)
2023-06-14 10:01:06 +08:00
PATCHES
"${ADD_MISSING_HEADERS}"
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.
2018-06-15 04:37:39 +08:00
)
[minisat-master-keying] Update to 2.3.6 (#20437) * Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-10-01 05:32:46 +08:00
vcpkg_cmake_configure(
SOURCE_PATH "${SOURCE_PATH}"
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.
2018-06-15 04:37:39 +08:00
)
[minisat-master-keying] Update to 2.3.6 (#20437) * Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-10-01 05:32:46 +08:00
vcpkg_cmake_install()
vcpkg_cmake_config_fixup(PACKAGE_NAME MiniSat CONFIG_PATH lib/cmake/MiniSat)
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.
2018-06-15 04:37:39 +08:00
if(VCPKG_LIBRARY_LINKAGE STREQUAL static)
[minisat-master-keying] Update to 2.3.6 (#20437) * Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-10-01 05:32:46 +08:00
file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/bin" "${CURRENT_PACKAGES_DIR}/debug/bin")
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.
2018-06-15 04:37:39 +08:00
endif()
[minisat-master-keying] Update to 2.3.6 (#20437) * Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-10-01 05:32:46 +08:00
file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
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.
2018-06-15 04:37:39 +08:00
[minisat-master-keying] Update to 2.3.6 (#20437) * Update minisat-master-keying to 2.3.6 * Update CI baseline Co-authored-by: chausner <chausner@users.noreply.github.com>
2021-10-01 05:32:46 +08:00
file(INSTALL "${SOURCE_PATH}/LICENSE" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright)
Reference in New Issue Copy Permalink