diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-10 16:19:07 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-08-10 16:19:07 +0000 |
| commit | 88b9be4ffc591ebcc05ebc660bee25986847ebcb (patch) | |
| tree | 15483ce4bf1252aee68b15b11c938512d6918ef2 /math/minizinc | |
| parent | e07b8aecd51ab177d924bb48a579fedae702d9cf (diff) | |
| download | ports-88b9be4ffc591ebcc05ebc660bee25986847ebcb.tar.gz ports-88b9be4ffc591ebcc05ebc660bee25986847ebcb.zip | |
math/minizinc: Fix typo in GH_ACCOUNT; Set default to the MiniZinc standard library
Notes
Notes:
svn path=/head/; revision=544623
Diffstat (limited to 'math/minizinc')
| -rw-r--r-- | math/minizinc/Makefile | 7 | ||||
| -rw-r--r-- | math/minizinc/distinfo | 6 |
2 files changed, 9 insertions, 4 deletions
diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index 0ff3ac972474..a6ee85ca3e61 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -2,6 +2,7 @@ PORTNAME= minizinc DISTVERSION= 2.4.3.20200807 # from the develop branch because it contains fixes for the latest bison +PORTREVISION= 1 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org @@ -17,7 +18,7 @@ LIB_DEPENDS= libCbc.so:math/cbc \ USES= bison cmake compiler:c++11-lang USE_GITHUB= yes -GH_ACCOIUNT= MiniZinc +GH_ACCOUNT= MiniZinc GH_PROJECT= libminizinc GH_TAGNAME= 01854690be366b964df9e25eaf5bd244759c4e76 # develop branch USE_LDCONFIG= yes @@ -31,4 +32,8 @@ WITH_SCIP_CMAKE_BOOL= USE_SCIP WITH_SCIP_LIB_DEPENDS= libscip.so:math/SCIP/ WITH_SCIP_BROKEN= Build failure: https://github.com/MiniZinc/libminizinc/issues/402 +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> diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo index 0e19e3e71049..4c4322acc91d 100644 --- a/math/minizinc/distinfo +++ b/math/minizinc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1597032841 -SHA256 (minizinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 7d7d7ebaef2dfb80aca467e6a5731d43b416921f40624137cbad37116a3a724e -SIZE (minizinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 1547462 +TIMESTAMP = 1597074276 +SHA256 (MiniZinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 7d7d7ebaef2dfb80aca467e6a5731d43b416921f40624137cbad37116a3a724e +SIZE (MiniZinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz) = 1547462 |