git: edae1a676c3a - main - New port: math/disco: Discrete Conic Optimization Solver

[Yuri Victorovich]

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=edae1a676c3a44d16dd2e81f576b5be874628956

commit edae1a676c3a44d16dd2e81f576b5be874628956
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-05-12 19:05:46 +0000
Commit:     Yuri Victorovich <yuri at FreeBSD.org>
CommitDate: 2021-05-12 19:11:16 +0000

    New port: math/disco: Discrete Conic Optimization Solver
---
 math/Makefile        |  1 +
 math/disco/Makefile  | 43 +++++++++++++++++++++++++++++++++++++++++++
 math/disco/distinfo  |  3 +++
 math/disco/pkg-descr |  5 +++++
 math/disco/pkg-plist | 34 ++++++++++++++++++++++++++++++++++
 5 files changed, 86 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index b87b99fae4e7..0a37ab1e46c9 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -227,6 +227,7 @@
     SUBDIR += dbcsr
     SUBDIR += deal.ii
     SUBDIR += dieharder
+    SUBDIR += disco
     SUBDIR += djbfft
     SUBDIR += drgeo
     SUBDIR += dsdp
diff --git a/math/disco/Makefile b/math/disco/Makefile
new file mode 100644
index 000000000000..0d0dafcc52be
--- /dev/null
+++ b/math/disco/Makefile
@@ -0,0 +1,43 @@
+PORTNAME=	disco
+DISTVERSIONPREFIX=	releases/
+DISTVERSION=	1.0.0-33
+DISTVERSIONSUFFIX=	-g68720be
+CATEGORIES=	math
+PKGNAMEPREFIX=	coin-or-
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	Discrete Conic Optimization Solver
+
+LICENSE=	EPL
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+BUILD_DEPENDS=	${LOCALBASE}/lib/libnauty.a:math/nauty
+LIB_DEPENDS=	libAlps.so:math/alps \
+		libBcps.so:math/bcps \
+		libblas.so:math/blas \
+		libbonmin.so:math/bonmin \
+		libCbc.so:math/cbc \
+		libCgl.so:math/cgl \
+		libCglConic.so:math/cgl-conic \
+		libClp.so:math/clp \
+		libcoinasl.so:math/asl \
+		libCoinUtils.so:math/coinutils \
+		libipopt.so:math/ipopt \
+		liblapack.so:math/lapack \
+		libopenblas.so:math/openblas \
+		libOsi.so:math/osi \
+		libOsiConic.so:math/osi-conic \
+		libOsiIpopt.so:math/osiipopt
+
+USES=		gmake libtool pkgconfig
+USE_LDCONFIG=	yes
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	coin-or
+GH_PROJECT=	DisCO
+
+GNU_CONFIGURE=	yes
+
+INSTALL_TARGET=	install-strip
+
+.include <bsd.port.mk>
diff --git a/math/disco/distinfo b/math/disco/distinfo
new file mode 100644
index 000000000000..41e7a1804e1a
--- /dev/null
+++ b/math/disco/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1620006259
+SHA256 (coin-or-DisCO-releases-1.0.0-33-g68720be_GH0.tar.gz) = b42c1105435bb03f284f2c59a8c92f8b482c9412295af177684da4c67ba55a06
+SIZE (coin-or-DisCO-releases-1.0.0-33-g68720be_GH0.tar.gz) = 3939650
diff --git a/math/disco/pkg-descr b/math/disco/pkg-descr
new file mode 100644
index 000000000000..754c0b277ab8
--- /dev/null
+++ b/math/disco/pkg-descr
@@ -0,0 +1,5 @@
+DisCO (Discrete Conic Optimization) is a solver for Mixed Integer Second Order
+Conic Optimization (MISOCO) problems. It is developed on top of COIN-OR
+High-Performance Parallel Search (CHiPPS) framework.
+
+WWW: https://github.com/coin-or/DisCO
diff --git a/math/disco/pkg-plist b/math/disco/pkg-plist
new file mode 100644
index 000000000000..87b8a88ae226
--- /dev/null
+++ b/math/disco/pkg-plist
@@ -0,0 +1,34 @@
+bin/disco
+include/coin/Dco.hpp
+include/coin/DcoBranchObject.hpp
+include/coin/DcoBranchStrategyMaxInf.hpp
+include/coin/DcoBranchStrategyPseudo.hpp
+include/coin/DcoBranchStrategyRel.hpp
+include/coin/DcoBranchStrategyStrong.hpp
+include/coin/DcoCbfIO.hpp
+include/coin/DcoConGenerator.hpp
+include/coin/DcoConfig.h
+include/coin/DcoConfig.hpp
+include/coin/DcoConicConGenerator.hpp
+include/coin/DcoConicConstraint.hpp
+include/coin/DcoConstraint.hpp
+include/coin/DcoLicense.hpp
+include/coin/DcoLinearConGenerator.hpp
+include/coin/DcoLinearConstraint.hpp
+include/coin/DcoMessage.hpp
+include/coin/DcoModel.hpp
+include/coin/DcoNodeDesc.hpp
+include/coin/DcoParams.hpp
+include/coin/DcoPresolve.hpp
+include/coin/DcoSolution.hpp
+include/coin/DcoSubTree.hpp
+include/coin/DcoTreeNode.hpp
+include/coin/DcoVariable.hpp
+lib/libDisco.so
+lib/libDisco.so.0
+lib/libDisco.so.0.0.0
+libdata/pkgconfig/disco.pc
+share/coin/doc/DisCO/AUTHORS
+share/coin/doc/DisCO/LICENSE
+share/coin/doc/DisCO/README
+share/coin/doc/DisCO/disco_addlibs.txt