git: a5fc928f0047 - main - New port: math/minizinc-solvers: Metaport for MiniZinc solver
Yuri Victorovich
yuri at FreeBSD.org
Tue May 4 00:39:53 UTC 2021
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=a5fc928f0047d68aa056149e46c84c8301ea21fa
commit a5fc928f0047d68aa056149e46c84c8301ea21fa
Author: Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-05-04 00:39:14 +0000
Commit: Yuri Victorovich <yuri at 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 at 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/
More information about the dev-commits-ports-all
mailing list