Index: head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in
===================================================================
--- head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in	(revision 529254)
+++ head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in	(nonexistent)
@@ -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@)

Property changes on: head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in
___________________________________________________________________
Deleted: fbsd:nokeywords
## -1 +0,0 ##
-yes
\ No newline at end of property
Deleted: svn:eol-style
## -1 +0,0 ##
-native
\ No newline at end of property
Deleted: svn:mime-type
## -1 +0,0 ##
-text/plain
\ No newline at end of property
Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile	(revision 529254)
+++ head/math/cryptominisat/Makefile	(revision 529255)
@@ -1,27 +1,27 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.8
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	General-purpose award-winning SAT solver
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs
 
 USES=		cmake compiler:c++11-lib
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	msoos
 
 CMAKE_ON=	NOM4RI
 CMAKE_OFF=	ENABLE_PYTHON_INTERFACE
 
 .include <bsd.port.mk>
Index: head/math/stp/Makefile
===================================================================
--- head/math/stp/Makefile	(revision 529254)
+++ head/math/stp/Makefile	(revision 529255)
@@ -1,27 +1,27 @@
 # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	stp
 DISTVERSION=	2.3.3
-PORTREVISION=	4
+PORTREVISION=	5
 PORTEPOCH=	1
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	Decision Procedure for Bitvectors and Arrays
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BROKEN_aarch64=		fails to compile: undefined reference to sbrk
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
 		libminisat.so:math/minisat \
 		libcryptominisat5.so:math/cryptominisat
 
 USES=		bison:build compiler:c++11-lang cmake perl5 python
 USE_GITHUB=	yes
 USE_PERL5=	build
 USE_LDCONFIG=	yes
 
 .include <bsd.port.mk>
Index: head/math/stp/files/patch-STPConfig.cmake.in
===================================================================
--- head/math/stp/files/patch-STPConfig.cmake.in	(nonexistent)
+++ head/math/stp/files/patch-STPConfig.cmake.in	(revision 529255)
@@ -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@")
+ 

Property changes on: head/math/stp/files/patch-STPConfig.cmake.in
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property