Date: Tue, 4 May 2021 00:39:52 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: a5fc928f0047 - main - New port: math/minizinc-solvers: Metaport for MiniZinc solver Message-ID: <202105040039.1440dqFY078872@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=a5fc928f0047d68aa056149e46c84c8301ea21fa commit a5fc928f0047d68aa056149e46c84c8301ea21fa Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-05-04 00:39:14 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2021-05-04 00:39:48 +0000 New port: math/minizinc-solvers: Metaport for MiniZinc solver --- math/Makefile | 1 + math/minizinc-solvers/Makefile | 29 +++++++++++++++++++++++++++++ math/minizinc-solvers/pkg-descr | 5 +++++ 3 files changed, 35 insertions(+) diff --git a/math/Makefile b/math/Makefile index 1ad2d0db85e0..f84f605e5c66 100644 --- a/math/Makefile +++ b/math/Makefile @@ -424,6 +424,7 @@ SUBDIR += minisat SUBDIR += minizinc SUBDIR += minizinc-ide + SUBDIR += minizinc-solvers SUBDIR += miracl SUBDIR += mlpack SUBDIR += moab diff --git a/math/minizinc-solvers/Makefile b/math/minizinc-solvers/Makefile new file mode 100644 index 000000000000..159864dff3b6 --- /dev/null +++ b/math/minizinc-solvers/Makefile @@ -0,0 +1,29 @@ + +PORTNAME= minizinc-solvers +PORTVERSION= 20210503 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Metaport for MiniZinc solvers + +USES= metaport + +OPTIONS_MULTI= LIST +OPTIONS_MULTI_LIST= BONMIN CHUFFED COUENNE OR_TOOLS +OPTIONS_DEFAULT= ${OPTIONS_MULTI_LIST} + +LIST_DESC= Install: + +BONMIN_DESC= Nonlinear mixed integer programming solver (COIN-OR) +BONMIN_RUN_DEPENDS= coin-or-bonmin>0:math/bonmin + +CHUFFED_DESC= Chuffed lazy clause generation CP solver +CHUFFED_RUN_DEPENDS= chuffed>0:math/chuffed + +COUENNE_DESC= Nonlinear convex over and under envelopes solver (COIN-OR) +COUENNE_RUN_DEPENDS= coin-or-couenne>0:math/couenne + +OR_TOOLS_DESC= Google OR-Tools-based solver +OR_TOOLS_RUN_DEPENDS= or-tools>0:math/or-tools + +.include <bsd.port.mk> diff --git a/math/minizinc-solvers/pkg-descr b/math/minizinc-solvers/pkg-descr new file mode 100644 index 000000000000..2c3d962ffa41 --- /dev/null +++ b/math/minizinc-solvers/pkg-descr @@ -0,0 +1,5 @@ +All MiniZinc solvers available as FreeBSD ports. + +This is the metaport. + +WWW: https://www.minizinc.org/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105040039.1440dqFY078872>