diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index 09eaddc4bd6d..2eb1c6338c7b 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -1,44 +1,44 @@ PORTNAME= minizinc -DISTVERSION= 2.8.0 +DISTVERSION= 2.8.2 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org COMMENT= Constraint modeling language WWW= https://www.minizinc.org/ LICENSE= MPL20 LICENSE_FILE= ${WRKSRC}/LICENSE.txt CONFLICTS_BUILD= CoinMP LIB_DEPENDS= libCbc.so:math/cbc \ libCgl.so:math/cgl \ libCoinUtils.so:math/coinutils \ libgecodekernel.so:math/gecode \ libhighs.so:math/highs \ libOsi.so:math/osi \ libOsiClp.so:math/clp USES= bison cmake compiler:c++11-lang USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= MiniZinc GH_PROJECT= libminizinc CMAKE_ON= BUILD_SHARED_LIBS CXXFLAGS+= -DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\"" CXXFLAGS+= -I${LOCALBASE}/include/highs # workaround for https://github.com/MiniZinc/libminizinc/issues/744 LDFLAGS+= -L${LOCALBASE}/lib # workaround for https://github.com/MiniZinc/libminizinc/issues/744 OPTIONS_DEFINE= WITH_SCIP WITH_SCIP_DESC= Build with the SCIP optimizer WITH_SCIP_CMAKE_BOOL= USE_SCIP WITH_SCIP_LIB_DEPENDS= libscip.so:math/SCIP/ post-patch: ${REINPLACE_CMD} -e 's|string std_lib_dir;|string std_lib_dir = "${DATADIR}";|' ${WRKSRC}/mzn2doc.cpp .include diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo index 8f1224f812c1..89d30fdefdaf 100644 --- a/math/minizinc/distinfo +++ b/math/minizinc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1700161490 -SHA256 (MiniZinc-libminizinc-2.8.0_GH0.tar.gz) = 5f9a77a61e60ed524ebb8cbc8d54bab5756fccca8cc62400ad86ad4e720120be -SIZE (MiniZinc-libminizinc-2.8.0_GH0.tar.gz) = 8018467 +TIMESTAMP = 1703218580 +SHA256 (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = e8b5c037e1d9711803e05ef6eaf416d5ed080f57cc0867d3c6ec3b1304bfd375 +SIZE (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = 8026563