| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/math/minizinc/ |
Upload File : |
PORTNAME= minizinc
DISTVERSION= 2.6.4
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 \
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}\\\""
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 <bsd.port.mk>