mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity

math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on

Browse Source 
cryptomisat.
This commit is contained in:
Gleb Popov 2020-03-27 14:59:07 +00:00
parent 01a446e608
commit 3086d6bc15
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=529255
4 changed files with 14 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/cryptominisat/Makefile
View File

@ -2,7 +2,7 @@
PORTNAME= cryptominisat
DISTVERSION= 5.6.8
PORTREVISION= 5
PORTREVISION= 6
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org

13
math/cryptominisat/files/patch-cryptominisat5Config.cmake.in
View File

@ -1,13 +0,0 @@
--- cryptominisat5Config.cmake.in.orig 2019-02-19 20:49:20 UTC
+++ cryptominisat5Config.cmake.in
@@ -12,8 +12,8 @@ set(CRYPTOMINISAT5_INCLUDE_DIRS "@CONF_INCLUDE_DIRS@")
include("${CRYPTOMINISAT5_CMAKE_DIR}/@CRYPTOMINISAT5_TARGETS_FILENAME@")
# These are IMPORTED targets created by @CRYPTOMINISAT5_TARGETS_FILENAME@
-set(CRYPTOMINISAT5_LIBRARIES cryptominisat5)
-set(CRYPTOMINISAT5_STATIC_LIBRARIES cryptominisat5)
+set(CRYPTOMINISAT5_LIBRARIES "@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_LIBDIR@/libcryptominisat5.so")
+set(CRYPTOMINISAT5_STATIC_LIBRARIES "@CMAKE_INSTALL_PREFIX@/@CMAKE_INSTALL_LIBDIR@/libcryptominisat5.a")
set(CRYPTOMINISAT5_STATIC_LIBRARIES_DEPS @CRYPTOMINISAT5_STATIC_DEPS@)
set(CRYPTOMINISAT5_VERSION_MAJOR @PROJECT_VERSION_MAJOR@)
set(CRYPTOMINISAT5_VERSION_MINOR @PROJECT_VERSION_MINOR@)

2
math/stp/Makefile
View File

@ -3,7 +3,7 @@
PORTNAME= stp
DISTVERSION= 2.3.3
PORTREVISION= 4
PORTREVISION= 5
PORTEPOCH= 1
CATEGORIES= math

12
math/stp/files/patch-STPConfig.cmake.in Normal file
View File

@ -0,0 +1,12 @@
--- STPConfig.cmake.in.orig 2019-03-02 14:26:01 UTC
+++ STPConfig.cmake.in
@@ -11,6 +11,9 @@
get_filename_component(STP_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
set(STP_INCLUDE_DIRS "@CONF_INCLUDE_DIRS@")
+include(CMakeFindDependencyMacro)
+find_dependency(cryptominisat5)
+
# Our library dependencies (contains definitions for IMPORTED targets)
include("${STP_CMAKE_DIR}/@STP_TARGETS_FILENAME@")