diff --git a/math/SCIP/Makefile b/math/SCIP/Makefile
index b5b51c21f14f..018427969fb0 100644
--- a/math/SCIP/Makefile
+++ b/math/SCIP/Makefile
@@ -1,43 +1,44 @@
 PORTNAME=	SCIP
 DISTVERSION=	9.2.4
+PORTREVISION=	1
 CATEGORIES=	math science
 MASTER_SITES=	https://www.scipopt.org/download/release/
 DISTNAME=	${PORTNAME:tl}-${DISTVERSION}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Solver for mixed integer, mixed integer nonlinear programming
 WWW=		https://www.scipopt.org/
 
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 EXTRACT_DEPENDS=	gtar:archivers/gtar
 LIB_DEPENDS=	libgmp.so:math/gmp \
 		libsoplex.so:math/SoPlex
 
 USES=		compiler:c11 cmake readline tar:tgz
 EXTRACT_CMD=	gtar
 USE_LDCONFIG=	yes
 
 CMAKE_OFF=	PAPILO
 
 CXXFLAGS+=	-I${LOCALBASE}/include/soplex
 
 TEST_TARGET=	test # 2 tests fail, see https://github.com/scipopt/scip/issues/78
 
 OPTIONS_DEFINE=		IPOPT ZIMPL
 OPTIONS_DEFAULT=	IPOPT
 
 IPOPT_DESC=		Non-linear optimization support via Ipopt
 IPOPT_USES=		fortran pkgconfig
 IPOPT_CMAKE_BOOL=	IPOPT
 IPOPT_LIB_DEPENDS=	libipopt.so:math/ipopt
 
 ZIMPL_DESC=		Build with Zimpl to translate LP models
 ZIMPL_CMAKE_BOOL=	ZIMPL
 ZIMPL_LIB_DEPENDS=	libzimpl.so:math/zimpl
 ZIMPL_BROKEN=		see https://github.com/scipopt/scip/issues/4
 
 INSTALL_CONFLICTS=	scipoptsuite
 
 .include <bsd.port.mk>
diff --git a/math/SoPlex/Makefile b/math/SoPlex/Makefile
index b8703ce18f67..26ea6bd136ac 100644
--- a/math/SoPlex/Makefile
+++ b/math/SoPlex/Makefile
@@ -1,31 +1,33 @@
 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}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Optimization package for solving linear programming problems (LPs)
 WWW=		https://soplex.zib.de
 
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
 		libgmp.so:math/gmp
 
 USES=		cmake compiler:c++14-lang tar:tgz
 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
@@ -1,174 +1,176 @@
 bin/soplex
 include/soplex.h
 include/soplex.hpp
 include/soplex/array.h
 include/soplex/basevectors.h
 include/soplex/changesoplex.hpp
 include/soplex/classarray.h
 include/soplex/classset.h
 include/soplex/clufactor.h
 include/soplex/clufactor.hpp
 include/soplex/clufactor_rational.h
 include/soplex/clufactor_rational.hpp
 include/soplex/config.h
 include/soplex/cring.h
 include/soplex/dataarray.h
 include/soplex/datahashtable.h
 include/soplex/datakey.h
 include/soplex/dataset.h
 include/soplex/didxset.h
 include/soplex/dsvector.h
 include/soplex/dsvectorbase.h
 include/soplex/dvector.h
 include/soplex/enter.hpp
 include/soplex/exceptions.h
 include/soplex/external/fmt/chrono.h
 include/soplex/external/fmt/color.h
 include/soplex/external/fmt/compile.h
 include/soplex/external/fmt/core.h
 include/soplex/external/fmt/format-inl.h
 include/soplex/external/fmt/format.h
 include/soplex/external/fmt/locale.h
 include/soplex/external/fmt/os.h
 include/soplex/external/fmt/ostream.h
 include/soplex/external/fmt/posix.h
 include/soplex/external/fmt/printf.h
 include/soplex/external/fmt/ranges.h
 include/soplex/external/zstr/strict_fstream.hpp
 include/soplex/external/zstr/zstr.hpp
 include/soplex/fmt.hpp
 include/soplex/idlist.h
 include/soplex/idxset.h
 include/soplex/islist.h
 include/soplex/leave.hpp
 include/soplex/lpcol.h
 include/soplex/lpcolbase.h
 include/soplex/lpcolset.h
 include/soplex/lpcolsetbase.h
 include/soplex/lprow.h
 include/soplex/lprowbase.h
 include/soplex/lprowset.h
 include/soplex/lprowsetbase.h
 include/soplex/mpsinput.h
 include/soplex/nameset.h
 include/soplex/notimer.h
 include/soplex/random.h
 include/soplex/rational.h
 include/soplex/ratrecon.h
 include/soplex/ratrecon.hpp
 include/soplex/slinsolver.h
 include/soplex/slinsolver_rational.h
 include/soplex/slufactor.h
 include/soplex/slufactor.hpp
 include/soplex/slufactor_rational.h
 include/soplex/slufactor_rational.hpp
 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
 include/soplex/spxautopr.hpp
 include/soplex/spxbasis.h
 include/soplex/spxbasis.hpp
 include/soplex/spxboundflippingrt.h
 include/soplex/spxboundflippingrt.hpp
 include/soplex/spxbounds.hpp
 include/soplex/spxchangebasis.hpp
 include/soplex/spxdantzigpr.h
 include/soplex/spxdantzigpr.hpp
 include/soplex/spxdefaultrt.h
 include/soplex/spxdefaultrt.hpp
 include/soplex/spxdefines.h
 include/soplex/spxdefines.hpp
 include/soplex/spxdesc.hpp
 include/soplex/spxdevexpr.h
 include/soplex/spxdevexpr.hpp
 include/soplex/spxequilisc.h
 include/soplex/spxequilisc.hpp
 include/soplex/spxfastrt.h
 include/soplex/spxfastrt.hpp
 include/soplex/spxfileio.h
 include/soplex/spxfileio.hpp
 include/soplex/spxgeometsc.h
 include/soplex/spxgeometsc.hpp
 include/soplex/spxgithash.h
 include/soplex/spxharrisrt.h
 include/soplex/spxharrisrt.hpp
 include/soplex/spxhybridpr.h
 include/soplex/spxhybridpr.hpp
 include/soplex/spxid.h
 include/soplex/spxleastsqsc.h
 include/soplex/spxleastsqsc.hpp
 include/soplex/spxlp.h
 include/soplex/spxlpbase.h
 include/soplex/spxlpbase_rational.hpp
 include/soplex/spxlpbase_real.hpp
 include/soplex/spxmainsm.h
 include/soplex/spxmainsm.hpp
 include/soplex/spxout.h
 include/soplex/spxpapilo.h
 include/soplex/spxparmultpr.h
 include/soplex/spxparmultpr.hpp
 include/soplex/spxpricer.h
 include/soplex/spxquality.hpp
 include/soplex/spxratiotester.h
 include/soplex/spxscaler.h
 include/soplex/spxscaler.hpp
 include/soplex/spxshift.hpp
 include/soplex/spxsimplifier.h
 include/soplex/spxsolve.hpp
 include/soplex/spxsolver.h
 include/soplex/spxsolver.hpp
 include/soplex/spxstarter.h
 include/soplex/spxstarter.hpp
 include/soplex/spxsteepexpr.h
 include/soplex/spxsteeppr.h
 include/soplex/spxsteeppr.hpp
 include/soplex/spxsumst.h
 include/soplex/spxsumst.hpp
 include/soplex/spxvecs.hpp
 include/soplex/spxvectorst.h
 include/soplex/spxvectorst.hpp
 include/soplex/spxweightpr.h
 include/soplex/spxweightpr.hpp
 include/soplex/spxweightst.h
 include/soplex/spxweightst.hpp
 include/soplex/spxwritestate.hpp
 include/soplex/ssvector.h
 include/soplex/ssvectorbase.h
 include/soplex/stablesum.h
 include/soplex/statistics.h
 include/soplex/statistics.hpp
 include/soplex/svector.h
 include/soplex/svectorbase.h
 include/soplex/svset.h
 include/soplex/svsetbase.h
 include/soplex/testsoplex.hpp
 include/soplex/timer.h
 include/soplex/timerfactory.h
 include/soplex/unitvector.h
 include/soplex/unitvectorbase.h
 include/soplex/updatevector.h
 include/soplex/updatevector.hpp
 include/soplex/usertimer.h
 include/soplex/validation.h
 include/soplex/validation.hpp
 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
 lib/cmake/soplex/soplex-targets.cmake
 lib/libsoplex-pic.so
 lib/libsoplex-pic.so.%%SHL4%%
 lib/libsoplex-pic.so.%%SHL2%%
 lib/libsoplex.so
 lib/libsoplex.so.%%SHL4%%
 lib/libsoplex.so.%%SHL2%%
 lib/libsoplexshared.so
 lib/libsoplexshared.so.%%SHL4%%
 lib/libsoplexshared.so.%%SHL2%%
diff --git a/math/polymake/Makefile b/math/polymake/Makefile
index b0a90401376f..af2e1486ce9a 100644
--- a/math/polymake/Makefile
+++ b/math/polymake/Makefile
@@ -1,205 +1,205 @@
 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/
 DISTNAME=	${PORTNAME}-${DISTVERSION}-minimal
 
 MAINTAINER=	bsd@philippost.de
 COMMENT=	Software package for research in polyhedral geometry
 WWW=		https://www.polymake.org/
 
 LICENSE=	GPLv2+
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	boost-libs>=1.72:devel/boost-libs \
 		ninja:devel/ninja \
 		permlib>=0.2.9:math/permlib \
 		p5-XML-SAX>=1.02:textproc/p5-XML-SAX \
 		p5-XML-Writer>=0.900:textproc/p5-XML-Writer \
 		p5-Term-ReadLine-Gnu>=1.37:devel/p5-Term-ReadLine-Gnu \
 		p5-Term-ReadKey>=2.38:devel/p5-Term-ReadKey \
 		p5-JSON>=2.97:converters/p5-JSON
 LIB_DEPENDS=	libcddgmp.so:math/cddlib \
 		libflint.so:math/flint2 \
 		libgmpxx.so:math/gmp \
 		libmpfr.so:math/mpfr
 RUN_DEPENDS=	bash>=5.0:shells/bash \
 		boost-libs>=1.72:devel/boost-libs \
 		permlib>=0.2.9:math/permlib \
 		p5-XML-SAX>=1.02:textproc/p5-XML-SAX \
 		p5-XML-Writer>=0.900:textproc/p5-XML-Writer \
 		p5-Term-ReadLine-Gnu>=1.37:devel/p5-Term-ReadLine-Gnu \
 		p5-Term-ReadKey>=2.38:devel/p5-Term-ReadKey \
 		p5-JSON>=2.97:converters/p5-JSON
 
 USES=		compiler:c++14-lang gmake gnome perl5 readline shebangfix \
 		tar:bzip2
 USE_GNOME=	libxml2 libxslt
 USE_LDCONFIG=	${PREFIX}/lib
 USE_PERL5=	build run
 
 SHEBANG_FILES=	resources/host-agent/bin/env resources/host-agent/bin/polymake
 SHEBANG_GLOB=	*.pl *.sh
 
 # polymake's configure script expects options to be disabled by --without-option
 # and most options to be enabled by --with-option=DIR
 HAS_CONFIGURE=	yes
 CONFIGURE_ARGS=	--prefix=${PREFIX} \
 		--exec-prefix=${PREFIX} \
 		--bindir=${PREFIX}/bin \
 		--includedir=${PREFIX}/include \
 		--libdir=${PREFIX}/lib \
 		--libexecdir=${PREFIX}/libexec/polymake \
 		--datadir=${PREFIX}/share/polymake \
 		--docdir=${DOCSDIR} \
 		--without-prereq \
 		--with-libcxx \
 		--with-cdd=${LOCALBASE} \
 		--with-flint=${LOCALBASE} \
 		--with-permlib=${LOCALBASE}/lib \
 		--without-java \
 		--without-javaview \
 		--without-native \
 		--without-sympol
 CONFIGURE_LOG=	build/bundled.log
 
 # Optional features; SoPlex defaults to off due to licencsing and SCIP defaults
 # to off due to a dependency on libsoplex.so.
 OPTIONS_DEFINE=	LRS NORMALIZ OPENMP OPTIMIZED_CFLAGS PPL SCIP SINGULAR SOPLEX TESTS
 OPTIONS_DEFAULT=	BLISS LRS NORMALIZ OPENMP OPTIMIZED_CFLAGS PPL SINGULAR
 # Exlude lrslib on i386 and powerpc because it is marked BROKEN for those
 # architectures
 OPTIONS_EXCLUDE_i386=	LRS
 OPTIONS_EXCLUDE_powerpc=	LRS
 OPTIONS_SUB=	yes
 
 # polymake needs either math/bliss or math/nauty to compute graph automorphism
 # groups
 OPTIONS_SINGLE=	GRAPH
 OPTIONS_SINGLE_GRAPH=	BLISS NAUTY
 
 BLISS_DESC=	Compute graph automorphism groups using bliss
 GRAPH_DESC=	Graph automorphism groups
 LRS_DESC=	Convex hull computation and vertex enumeration
 NAUTY_DESC=	Compute graph automorphism groups using nauty
 NORMALIZ_DESC=	Computations in affine monoids and lattice polytopes
 PPL_DESC=	Manipulation of convex polyhedra
 SCIP_DESC=	Solver for mixed integer linear and nonlinear problems
 SINGULAR_DESC=	Computation of Groebner bases
 SOPLEX_DESC=	Solver for linear programming problems
 TESTS_DESC=	Run bundled self tests after build
 
 BLISS_CONFIGURE_ON=	--with-bliss=${LOCALBASE}
 BLISS_CONFIGURE_OFF=	--without-bliss
 BLISS_BUILD_DEPENDS=	bliss-graph-tool>=0.73:math/bliss # does it need the tool or the library? LIB_DEPENDS should be used in the latter case.
 BLISS_RUN_DEPENDS=	bliss-graph-tool>=0.73:math/bliss
 
 NAUTY_CONFIGURE_ON=	--with-nauty=${LOCALBASE}
 NAUTY_CONFIGURE_OFF=	--without-nauty
 NAUTY_LIB_DEPENDS=	libnauty.so:math/nauty
 
 LRS_CONFIGURE_ON=	--with-lrs=${LOCALBASE} \
 			--with-lrs-include=${LOCALBASE}/include/lrslib
 LRS_CONFIGURE_OFF=	--without-lrs
 LRS_LIB_DEPENDS=	liblrs.so:math/lrslib
 
 NORMALIZ_CONFIGURE_ON=	--with-libnormaliz=${LOCALBASE}
 NORMALIZ_CONFIGURE_OFF=	--without-libnormaliz
 NORMALIZ_LIB_DEPENDS=	libnormaliz.so:math/libnormaliz
 
 OPENMP_CONFIGURE_OFF=	--without-openmp
 
 OPTIMIZED_CFLAGS_CFLAGS=	-O3
 
 PPL_CONFIGURE_ON=	--with-ppl=${LOCALBASE}
 PPL_CONFIGURE_OFF=	--without-ppl
 PPL_LIB_DEPENDS=	libppl.so:devel/ppl
 
 SCIP_CONFIGURE_ON=	--with-scip=${LOCALBASE}
 SCIP_CONFIGURE_OFF=	--without-scip
 SCIP_LIB_DEPENDS=	libscip.so:math/SCIP
 
 SINGULAR_CONFIGURE_ON=	--with-singular=${LOCALBASE}
 SINGULAR_CONFIGURE_OFF=	--without-singular
 SINGULAR_LIB_DEPENDS=	libSingular.so:math/singular
 
 SOPLEX_CONFIGURE_ON=	--with-soplex=${LOCALBASE}
 SOPLEX_CONFIGURE_OFF=	--without-soplex
 SOPLEX_LIB_DEPENDS=	libsoplex-pic.so:math/SoPlex
 
 TESTS_VARS=	USE_PERL5+=test
 
 # The port uses the minimal distribution tarball without bundled libraries.
 # Set WRKSRC accordingly.
 WRKSRC=		${WRKDIR}/${PORTNAME}-${DISTVERSION}
 
 .include <bsd.port.options.mk>
 
 # Deal with site specific installation directory
 # polymake installs a perlxs module which depends on the perl configuration
 PERL_ARCHNAME=	${:!${PERL} -E 'use Config; print "\$Config::Config{archname}";'!}
 PLIST_FILES=	libexec/polymake/perlx/${PERL_VERSION}/${PERL_ARCHNAME}/auto/Polymake/Ext/Ext.so
 
 # Keep track of the major version
 DISTVERSION_MAJ=	${:!expr ${DISTVERSION} : '\([0-9]*\).*'!}
 
 post-install:
 	${RLN} ${STAGEDIR}${PREFIX}/lib/libpolymake.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/lib/libpolymake.so.${DISTVERSION_MAJ}
 	${RLN} ${STAGEDIR}${PREFIX}/lib/libpolymake.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/lib/libpolymake.so
 
 	${STRIP_CMD} \
 		${STAGEDIR}${PREFIX}/lib/libpolymake.so.${DISTVERSION} \
 
 .for _lp in libpolymake-apps libpolymake-apps-rt
 	${RLN} ${STAGEDIR}${PREFIX}/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/lib/${_lp}.so.${DISTVERSION_MAJ}
 	${RLN} ${STAGEDIR}${PREFIX}/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/lib/${_lp}.so
 
 	${RLN} ${STAGEDIR}${PREFIX}/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so.${DISTVERSION_MAJ}
 	${RLN} ${STAGEDIR}${PREFIX}/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so
 
 	${RLN} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so.${DISTVERSION_MAJ}
 	${RLN} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so.${DISTVERSION} \
 		${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so
 # strip the libraries
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/${_lp}.so.${DISTVERSION}
 .endfor
 
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/polymake/perlx/${PERL_VERSION}/${PERL_ARCHNAME}/auto/Polymake/Ext/Ext.so
 
 .for l in common fan fulton graph group matroid polytope topaz tropical
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/${l}.so
 .endfor
 
 # only strip libexec/polymake/lib/ideal.so iff SINGULAR=on, if SINGULAR=off it
 # is an empty file and stripping fails
 .if ${PORT_OPTIONS:MSINGULAR}
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/ideal.so
 .endif
 
 .for lp in libpolymake-apps libpolymake-apps-rt
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/polymake/lib/${lp}.so.${DISTVERSION}
 .endfor
 
 post-install-TESTS-on: test
 
 # Set HOME=${WRKDIR} to prevent polymake writing its .polymake directory outside
 # WRKDIR.
 test:
 	@cd ${WRKSRC} && HOME=${WRKDIR} perl/polymake --script run_testcases
 
 .include <bsd.port.pre.mk>
 
 .if ${PERL_LEVEL} >= 504200
 BROKEN=	polymake has not been checked for compatibility with perl 5.42 or newer
 .endif
 
 .include <bsd.port.post.mk>
diff --git a/math/topcom/Makefile b/math/topcom/Makefile
index de1e725887c8..b3e847094d75 100644
--- a/math/topcom/Makefile
+++ b/math/topcom/Makefile
@@ -1,48 +1,49 @@
 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}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Computing triangulations of point configurations and oriented matroids
 WWW=		https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM/index.html
 
 LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 LIB_DEPENDS=	libcddgmp.so:math/cddlib \
 		libgmp.so:math/gmp
 
 USES=		autoreconf gmake localbase:ldflags tar:tgz
 
 GNU_CONFIGURE=	yes
 
 EXTRACT_AFTER_ARGS=	--exclude ${PORTNAME}-${DISTVERSION}/external \
 			--no-same-owner --no-same-permissions
 
 CFLAGS+=	-I${LOCALBASE}/include/cdd/
 LDFLAGS+=	-lgmp -lgmpxx -lcddgmp
 
 CONFLICTS_INSTALL=	p5-Set-CrossProduct # bin/cross
 
 WRKSRC=		${WRKDIR}/${PORTNAME}-${DISTVERSION}
 
 OPTIONS_DEFINE=		SOPLEX # SOPLEX shouldn't be made default because SoPlex's license prevents packaging.
 
 SOPLEX_DESC=		Build with SoPlex linear programming problem solver
 SOPLEX_CXXFLAGS=	-I${LOCALBASE}/include/soplex
 SOPLEX_LIB_DEPENDS=	libsoplex.so:math/SoPlex
 SOPLEX_BROKEN=		not compatible with SoPlex-5.0.2 - missing header, reported to the upstream author vie e-mail
 
 post-patch:
 	@${FIND} ${WRKSRC} -name "Makefile*" \
 		| ${XARGS} ${REINPLACE_CMD} ' \
 			s|\.\./external/lib/libcddgmp\.a|${LOCALBASE}/lib/libcddgmp.so| ; \
 			s|\.\./external/lib/libgmp\.a|${LOCALBASE}/lib/libgmp.so| ; \
 			s|\.\./external/lib/libgmpxx\.a|${LOCALBASE}/lib/libgmpxx.so|'
 
 post-patch-SOPLEX-off:
 	@${REINPLACE_CMD} -e 's|AC_CHECK_LIB(soplex,|AC_CHECK_LIB(soplex_disabled,|' ${WRKSRC}/configure.ac
 
 .include <bsd.port.mk>