diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile index a753b4f23a58..b39c1d40fdb6 100644 --- a/math/minizinc-ide/Makefile +++ b/math/minizinc-ide/Makefile @@ -1,34 +1,35 @@ PORTNAME= minizinc-ide DISTVERSION= 2.8.7 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org COMMENT= IDE for MiniZinc, a constraint modeling language -WWW= https://www.minizinc.org/ +WWW= https://www.minizinc.org/ \ + https://github.com/MiniZinc LICENSE= MPL20 LICENSE_FILE= ${WRKSRC}/LICENSE.txt RUN_DEPENDS= minizinc:math/minizinc USES= gl compiler:c++11-lang qmake qt:5 USE_QT= core declarative gui network sql testlib websockets widgets \ buildtools:build USE_GL= gl USE_GITHUB= yes GH_ACCOUNT= MiniZinc GH_PROJECT= MiniZincIDE USE_GITLAB= nodefault GL_TUPLE= minizinc:cp-profiler-integration:f16b3132df33b3f258971f36dbe5e909983381c9:cp/cp-profiler/src/cpp-integration PLIST_FILES= bin/MiniZincIDE \ share/pixmaps/minizinc_icon.png DESKTOP_ENTRIES= "MiniZinc" "Constraint modeling language" "${PREFIX}/share/pixmaps/minizinc_icon.png" "MiniZincIDE" "Science;Development;Education;" "" post-install: ${INSTALL_DATA} ${WRKSRC}/resources/icon.png ${STAGEDIR}${PREFIX}/share/pixmaps/minizinc_icon.png .include diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index e9f6de02c10f..39b4ecf9fd91 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -1,43 +1,44 @@ PORTNAME= minizinc DISTVERSION= 2.8.7 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org COMMENT= Constraint modeling language -WWW= https://www.minizinc.org/ +WWW= https://www.minizinc.org/ \ + https://github.com/MiniZinc 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}\\\"" 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