Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 27 Mar 2020 14:59:08 +0000 (UTC)
From:      Gleb Popov <arrowd@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r529255 - in head/math: cryptominisat cryptominisat/files stp stp/files
Message-ID:  <202003271459.02REx8K6082844@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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@")
+ 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202003271459.02REx8K6082844>