diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-04 09:24:29 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-04 09:24:29 +0000 |
commit | 7591f45f9dffa99f3daa443385d72613afb804d1 (patch) | |
tree | 6e84e2ff0e9c96d6d613475c4a08cc6381b2437b /math/minizinc | |
parent | b7e3c7c2dccabe6d113c643352ff1b3e7b7c3bbe (diff) | |
download | ports-7591f45f9dffa99f3daa443385d72613afb804d1.tar.gz ports-7591f45f9dffa99f3daa443385d72613afb804d1.zip |
math/minizinc: The WITH_SCIP option isn't broken any more as of version 2.5.1
Notes
Notes:
svn path=/head/; revision=554067
Diffstat (limited to 'math/minizinc')
-rw-r--r-- | math/minizinc/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile index 6425dcf0a76d..50419a15d922 100644 --- a/math/minizinc/Makefile +++ b/math/minizinc/Makefile @@ -30,7 +30,6 @@ 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/ -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 |