Index: head/math/cryptominisat/Makefile
===================================================================
--- head/math/cryptominisat/Makefile	(revision 527791)
+++ head/math/cryptominisat/Makefile	(revision 527792)
@@ -1,27 +1,27 @@
 # $FreeBSD$
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.8
-PORTREVISION=	4
+PORTREVISION=	5
 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/cryptominisat/files/patch-cryptominisat5Config.cmake.in
===================================================================
--- head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in	(nonexistent)
+++ head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in	(revision 527792)
@@ -0,0 +1,13 @@
+--- 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
___________________________________________________________________
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
Index: head/math/stp/Makefile
===================================================================
--- head/math/stp/Makefile	(revision 527791)
+++ head/math/stp/Makefile	(revision 527792)
@@ -1,27 +1,27 @@
 # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	stp
 DISTVERSION=	2.3.3
-PORTREVISION=	3
+PORTREVISION=	4
 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>