mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
46 lines
1.1 KiB
Makefile
46 lines
1.1 KiB
Makefile
PORTNAME= minizinc
|
|
DISTVERSION= 2.8.3
|
|
PORTREVISION= 1
|
|
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 <bsd.port.mk>
|