git: c3ffb07e55c7 - main - math/SoPlex: update 7.1.1.0 → 8.0.0

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c3ffb07e55c79ef3ef80cd9e6a944a2e8eb93c43

commit c3ffb07e55c79ef3ef80cd9e6a944a2e8eb93c43
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-11-16 01:45:26 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-11-16 04:19:54 +0000

    math/SoPlex: update 7.1.1.0 → 8.0.0
---
 math/SCIP/Makefile     | 1 +
 math/SoPlex/Makefile   | 8 +++++---
 math/SoPlex/distinfo   | 6 +++---
 math/SoPlex/pkg-plist  | 2 ++
 math/polymake/Makefile | 2 +-
 math/topcom/Makefile   | 1 +
 6 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/math/SCIP/Makefile b/math/SCIP/Makefile
index b5b51c21f14f..018427969fb0 100644
--- a/math/SCIP/Makefile
+++ b/math/SCIP/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	SCIP
 DISTVERSION=	9.2.4
+PORTREVISION=	1
 CATEGORIES=	math science
 MASTER_SITES=	https://www.scipopt.org/download/release/
 DISTNAME=	${PORTNAME:tl}-${DISTVERSION}
diff --git a/math/SoPlex/Makefile b/math/SoPlex/Makefile
index b8703ce18f67..26ea6bd136ac 100644
--- a/math/SoPlex/Makefile
+++ b/math/SoPlex/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	SoPlex
-DISTVERSION=	7.1.1.0
-PORTREVISION=	5
+DISTVERSION=	8.0.0
 CATEGORIES=	math science
 MASTER_SITES=	http://soplex.zib.de/download/release/
 DISTNAME=	${PORTNAME:tl}-${DISTVERSION}
@@ -20,12 +19,15 @@ USE_LDCONFIG=	yes
 
 TEST_TARGET=	test
 
-PLIST_SUB=	SHL4=${DISTVERSION:R:R} SHL2=${DISTVERSION}
+PLIST_SUB=	SHL4=${DISTVERSION:R} SHL2=${DISTVERSION}
 
 OPTIONS_DEFINE=		MPFR
+OPTIONS_SUB=		yes
 
 MPFR_DESC=		Use MPFR for multiple-precision floating-point numbers
 MPFR_CMAKE_BOOL=	MPFR
 MPFR_LIB_DEPENDS=	libmpfr.so:math/mpfr
 
+# tests as of 8.0.0: 100% tests passed, 0 tests failed out of 429
+
 .include <bsd.port.mk>
diff --git a/math/SoPlex/distinfo b/math/SoPlex/distinfo
index 5f3088d7b6bf..1d98dc9c9083 100644
--- a/math/SoPlex/distinfo
+++ b/math/SoPlex/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1726394443
-SHA256 (soplex-7.1.1.0.tgz) = 3b992b2c1a7275ab67b738da70e9432e6d1fe24cd8adbba8e975c043288d078f
-SIZE (soplex-7.1.1.0.tgz) = 1174156
+TIMESTAMP = 1763257015
+SHA256 (soplex-8.0.0.tgz) = 6c3d0a3a2a0f6520a7334d10eaadb34a2f258035e8df40abc18ccf862a0b892a
+SIZE (soplex-8.0.0.tgz) = 1178879
diff --git a/math/SoPlex/pkg-plist b/math/SoPlex/pkg-plist
index 196b5198527e..29b7b1580fd8 100644
--- a/math/SoPlex/pkg-plist
+++ b/math/SoPlex/pkg-plist
@@ -66,6 +66,7 @@ include/soplex/sol.h
 include/soplex/solbase.h
 include/soplex/solverational.hpp
 include/soplex/solvereal.hpp
+include/soplex/soplex_interface.h
 include/soplex/sorter.h
 include/soplex/spxalloc.h
 include/soplex/spxautopr.h
@@ -159,6 +160,7 @@ include/soplex/vector.h
 include/soplex/vectorbase.h
 include/soplex/wallclocktimer.h
 include/soplex_interface.h
+%%MPFR%%lib/cmake/soplex/FindMPFR.cmake
 lib/cmake/soplex/soplex-config-version.cmake
 lib/cmake/soplex/soplex-config.cmake
 lib/cmake/soplex/soplex-targets-%%CMAKE_BUILD_TYPE%%.cmake
diff --git a/math/polymake/Makefile b/math/polymake/Makefile
index b0a90401376f..af2e1486ce9a 100644
--- a/math/polymake/Makefile
+++ b/math/polymake/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	polymake
 DISTVERSION=	4.13
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/${PORTNAME}/${PORTNAME}/releases/download/V${DISTVERSION}/ \
 		https://polymake.org/lib/exe/fetch.php/download/
diff --git a/math/topcom/Makefile b/math/topcom/Makefile
index de1e725887c8..b3e847094d75 100644
--- a/math/topcom/Makefile
+++ b/math/topcom/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	topcom
 DISTVERSION=	1.1.2
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM-Downloads/
 DISTNAME=	${PORTNAME:tu}-${DISTVERSION:S/./_/g}