New port: math/minizinc-solvers: Metaport for MiniZinc solver

freebsd · May 4, 2021 · a5fc928 · a5fc928
1 parent f9908f5
commit a5fc928
Show file tree

Hide file tree

Showing 3 changed files with 35 additions and 0 deletions.
diff --git 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
@@ -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
@@ -0,0 +1,5 @@
+All MiniZinc solvers available as FreeBSD ports.
+
+This is the metaport.
+
+WWW: https://www.minizinc.org/