diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-10-25 18:49:59 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-10-25 18:49:59 +0000 |
commit | 762d45e621444b445aeec2b241796e6e48047c11 (patch) | |
tree | d20d6caeda46651f350523699c86a698a6a7d61d /math/minizinc/Makefile | |
parent | 5da17b10042ed69bd4d6b8b7b4d39f826ec77762 (diff) | |
download | ports-762d45e621444b445aeec2b241796e6e48047c11.tar.gz ports-762d45e621444b445aeec2b241796e6e48047c11.zip |
math/minizinc: Update 2.5.0 -> 2.5.1
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=553281
Diffstat (limited to 'math/minizinc/Makefile')
-rw-r--r-- | math/minizinc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index d8f4f4ccf59a..6425dcf0a76d 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= minizinc -DISTVERSION= 2.5.0 +DISTVERSION= 2.5.1 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org @@ -19,9 +19,10 @@ USES= bison cmake compiler:c++11-lang USE_GITHUB= yes GH_ACCOUNT= MiniZinc GH_PROJECT= libminizinc -GH_TAGNAME= 01854690be366b964df9e25eaf5bd244759c4e76 # develop branch USE_LDCONFIG= yes +CXXFLAGS+= -DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\"" + CMAKE_ON= BUILD_SHARED_LIBS OPTIONS_DEFINE= WITH_SCIP @@ -33,6 +34,5 @@ WITH_SCIP_BROKEN= Build failure: https://github.com/MiniZinc/libminizinc/issues/ post-patch: ${REINPLACE_CMD} -e 's|string std_lib_dir;|string std_lib_dir = "${DATADIR}";|' ${WRKSRC}/mzn2doc.cpp - ${REINPLACE_CMD} -e 's|std_lib_dir(stdlibDir) {}|std_lib_dir(stdlibDir.empty() ? "${DATADIR}" : stdlibDir) {}|' ${WRKSRC}/lib/flattener.cpp .include <bsd.port.mk> |