diff options
Diffstat (limited to 'sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch')
| -rw-r--r-- | sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch deleted file mode 100644 index 57619871c..000000000 --- a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch +++ /dev/null @@ -1,25 +0,0 @@ ---- a/CMakeLists.txt 2022-04-29 02:03:45.823385000 +0200 -+++ b/CMakeLists.txt 2022-04-29 02:08:46.208369263 +0200 -@@ -31,8 +31,9 @@ - #-------------------------------------------------------------------------------------------------- - # Dependencies: - --find_package(GMP REQUIRED) --include_directories(${GMP_INCLUDE_DIR}) -+find_package(PkgConfig REQUIRED) -+pkg_check_modules(GMP REQUIRED gmp) -+include_directories(${GMP_INCLUDE_DIRS}) - - include_directories(${minisat_SOURCE_DIR}) - include_directories(${minisatp_SOURCE_DIR}) -@@ -60,8 +61,8 @@ - add_library(minisatp-lib-static STATIC ${MINISATP_LIB_SOURCES}) - add_library(minisatp-lib-shared SHARED ${MINISATP_LIB_SOURCES}) - --target_link_libraries(minisatp-lib-shared minisat-lib-shared ${GMP_LIBRARY}) --target_link_libraries(minisatp-lib-static minisat-lib-static ${GMP_LIBRARY}) -+target_link_libraries(minisatp-lib-shared minisat gmp) -+target_link_libraries(minisatp-lib-static minisat gmp) - - set_target_properties(minisatp-lib-static PROPERTIES OUTPUT_NAME "minisatp") - set_target_properties(minisatp-lib-shared |