svn commit: r529255 - in head/math: cryptominisat cryptominisat/files stp stp/files

[Gleb Popov]

Author: arrowd
Date: Fri Mar 27 14:59:07 2020
New Revision: 529255
URL: https://svnweb.freebsd.org/changeset/ports/529255

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

Added:
  head/math/stp/files/
  head/math/stp/files/patch-STPConfig.cmake.in   (contents, props changed)
Deleted:
  head/math/cryptominisat/files/
Modified:
  head/math/cryptominisat/Makefile
  head/math/stp/Makefile

Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile	Fri Mar 27 14:34:19 2020	(r529254)
+++ head/math/cryptominisat/Makefile	Fri Mar 27 14:59:07 2020	(r529255)
@@ -2,7 +2,7 @@
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.8
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	math
 
 MAINTAINER=	arrowd at FreeBSD.org

Modified: head/math/stp/Makefile
==============================================================================
--- head/math/stp/Makefile	Fri Mar 27 14:34:19 2020	(r529254)
+++ head/math/stp/Makefile	Fri Mar 27 14:59:07 2020	(r529255)
@@ -3,7 +3,7 @@
 
 PORTNAME=	stp
 DISTVERSION=	2.3.3
-PORTREVISION=	4
+PORTREVISION=	5
 PORTEPOCH=	1
 CATEGORIES=	math
 

Added: head/math/stp/files/patch-STPConfig.cmake.in
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/stp/files/patch-STPConfig.cmake.in	Fri Mar 27 14:59:07 2020	(r529255)
@@ -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@")
+