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

[Gleb Popov]

Author: arrowd
Date: Wed Mar  4 18:03:42 2020
New Revision: 527792
URL: https://svnweb.freebsd.org/changeset/ports/527792

Log:
  math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.

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

Modified: head/math/cryptominisat/Makefile
==============================================================================
--- head/math/cryptominisat/Makefile	Wed Mar  4 17:56:57 2020	(r527791)
+++ head/math/cryptominisat/Makefile	Wed Mar  4 18:03:42 2020	(r527792)
@@ -2,7 +2,7 @@
 
 PORTNAME=	cryptominisat
 DISTVERSION=	5.6.8
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math
 
 MAINTAINER=	arrowd at FreeBSD.org

Added: head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cryptominisat/files/patch-cryptominisat5Config.cmake.in	Wed Mar  4 18:03:42 2020	(r527792)
@@ -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@)

Modified: head/math/stp/Makefile
==============================================================================
--- head/math/stp/Makefile	Wed Mar  4 17:56:57 2020	(r527791)
+++ head/math/stp/Makefile	Wed Mar  4 18:03:42 2020	(r527792)
@@ -3,7 +3,7 @@
 
 PORTNAME=	stp
 DISTVERSION=	2.3.3
-PORTREVISION=	3
+PORTREVISION=	4
 PORTEPOCH=	1
 CATEGORIES=	math