Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 13 Oct 2018 16:29:45 +0000 (UTC)
From:      =?UTF-8?Q?Fernando_Apestegu=c3=ada?= <fernape@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r481995 - in head/math: . cddlib
Message-ID:  <201810131629.w9DGTjm1068279@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: fernape
Date: Sat Oct 13 16:29:45 2018
New Revision: 481995
URL: https://svnweb.freebsd.org/changeset/ports/481995

Log:
  New port: math/cddlib
  
  C implementation of the Double Description Method of Motzkin et al
  
  PR:	231161
  Submitted by:	phascolarctos@protonmail.ch
  Reviewed by:	tcberner (mentor, implicit)
  Differential Revision:	https://reviews.freebsd.org/D17385

Added:
  head/math/cddlib/
  head/math/cddlib/Makefile   (contents, props changed)
  head/math/cddlib/distinfo   (contents, props changed)
  head/math/cddlib/pkg-descr   (contents, props changed)
  head/math/cddlib/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Sat Oct 13 15:56:02 2018	(r481994)
+++ head/math/Makefile	Sat Oct 13 16:29:45 2018	(r481995)
@@ -150,6 +150,7 @@
     SUBDIR += cbc
     SUBDIR += cblas
     SUBDIR += ccmath
+    SUBDIR += cddlib
     SUBDIR += ceres-solver
     SUBDIR += cgal
     SUBDIR += cgl

Added: head/math/cddlib/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cddlib/Makefile	Sat Oct 13 16:29:45 2018	(r481995)
@@ -0,0 +1,50 @@
+# $FreeBSD$
+
+PORTNAME=	cddlib
+PORTVERSION=	0.94j
+CATEGORIES=	math
+
+MAINTAINER=	phascolarctos@protonmail.ch
+COMMENT=	C implementation of the Double Description Method of Motzkin et al
+
+LICENSE=	GPLv2+
+LICENSE_FILE=	${WRKSRC}/COPYING
+
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=		autoreconf gmake libtool:build localbase:ldflags
+USE_LDCONFIG=	yes
+USE_GITHUB=	yes
+GH_ACCOUNT=	cddlib
+
+GNU_CONFIGURE=	yes
+
+OPTIONS_DEFINE=	MANUAL EXAMPLES
+OPTIONS_SUB=	yes
+MANUAL_DESC=	User manual (many dependencies, including texlive)
+MANUAL_BUILD_DEPENDS=	latex:print/tex-formats \
+			dvips:print/tex-dvipsk
+
+HEADERSDIR=	${PREFIX}/include/cdd
+
+pre-build-MANUAL-off:
+	${REINPLACE_CMD} 's,doc lib-src,lib-src,' ${WRKSRC}/Makefile.am
+
+do-install:
+	${MKDIR} ${STAGEDIR}${HEADERSDIR}
+	cd ${WRKSRC}/src/.libs && ${COPYTREE_BIN} . ${STAGEDIR}${PREFIX}/bin
+	cd ${WRKSRC}/lib-src/.libs && ${COPYTREE_BIN} . ${STAGEDIR}${PREFIX}/lib '-name *\.so*'
+	cd ${WRKSRC}/lib-src/.libs && ${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/lib '-name *\.a'
+	cd ${WRKSRC}/lib-src && ${COPYTREE_SHARE} . ${STAGEDIR}${HEADERSDIR} '-name *\.h'
+
+post-install-MANUAL-on:
+	${MKDIR} ${STAGEDIR}${DOCSDIR}
+	${INSTALL_MAN} ${WRKSRC}/doc/cddlibman.dvi ${STAGEDIR}${DOCSDIR}
+	${INSTALL_MAN} ${WRKSRC}/doc/cddlibman.pdf ${STAGEDIR}${DOCSDIR}
+	${INSTALL_MAN} ${WRKSRC}/doc/cddlibman.ps ${STAGEDIR}${DOCSDIR}
+
+post-install-EXAMPLES-on:
+	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
+	cd ${WRKSRC} && ${COPYTREE_SHARE} "examples*" ${STAGEDIR}${EXAMPLESDIR}
+
+.include <bsd.port.mk>

Added: head/math/cddlib/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cddlib/distinfo	Sat Oct 13 16:29:45 2018	(r481995)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1535463043
+SHA256 (cddlib-cddlib-0.94j_GH0.tar.gz) = f54bba785b9f6814be5cf6d76861dd61082997c7b48e0244fc3ccea7195892d4
+SIZE (cddlib-cddlib-0.94j_GH0.tar.gz) = 496651

Added: head/math/cddlib/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cddlib/pkg-descr	Sat Oct 13 16:29:45 2018	(r481995)
@@ -0,0 +1,13 @@
+Cddlib is a C library that implements the Double Description Method
+of Motzkin et al. for generating all vertices (i.e. extreme points)
+and extreme rays of a general convex polyhedron given by a system of
+linear inequalities in any finite dimensional real coordinate space.
+
+The program can be used for the reverse operation (i.e. convex hull
+computation). This means that one can move back and forth between an
+inequality representation and a generator (i.e. vertex and ray) 
+representation of a polyhedron with cddlib. Also, cddlib can solve a
+linear programming problem, i.e. a problem of maximizing and
+minimizing a linear function over P.
+
+WWW: https://github.com/cddlib/cddlib

Added: head/math/cddlib/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/cddlib/pkg-plist	Sat Oct 13 16:29:45 2018	(r481995)
@@ -0,0 +1,134 @@
+bin/adjacency
+bin/adjacency_gmp
+bin/allfaces
+bin/allfaces_gmp
+bin/cddexec
+bin/cddexec_gmp
+bin/fourier
+bin/fourier_gmp
+bin/lcdd
+bin/lcdd_gmp
+bin/projection
+bin/projection_gmp
+bin/redcheck
+bin/redcheck_gmp
+bin/redexter
+bin/redexter_gmp
+bin/redundancies
+bin/redundancies_clarkson
+bin/redundancies_clarkson_gmp
+bin/redundancies_gmp
+bin/scdd
+bin/scdd_gmp
+bin/testcdd1
+bin/testcdd1_gmp
+bin/testcdd2
+bin/testcdd2_gmp
+bin/testlp1
+bin/testlp1_gmp
+bin/testlp2
+bin/testlp2_gmp
+bin/testlp3
+bin/testlp3_gmp
+bin/testshoot
+bin/testshoot_gmp
+include/cdd/cdd.h
+include/cdd/cdd_f.h
+include/cdd/cddmp.h
+include/cdd/cddmp_f.h
+include/cdd/cddtypes.h
+include/cdd/cddtypes_f.h
+include/cdd/setoper.h
+include/cdd/splitmix64.h
+lib/libcdd.a
+lib/libcdd.so
+lib/libcdd.so.0
+lib/libcdd.so.0.0.0
+lib/libcddgmp.a
+lib/libcddgmp.so
+lib/libcddgmp.so.0
+lib/libcddgmp.so.0.0.0
+%%MANUAL%%%%DOCSDIR%%/cddlibman.dvi
+%%MANUAL%%%%DOCSDIR%%/cddlibman.pdf
+%%MANUAL%%%%DOCSDIR%%/cddlibman.ps
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccc4.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccc5.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccc6.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccp4.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccp5.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/ccp6.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/cyclic10-4.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/cyclic12-6.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/cyclic14-8.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/cyclic16-10.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/irbox20-4.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/irbox200-4.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/prodst62.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/reg24-5.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ext/reg600-5.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/allzero.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cross10.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cross12.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cross6.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cross8.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cube10.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cube12.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cube6.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cube8.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/cubocta.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/ex1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/infeas.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/integralpoints.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/kkd18_4.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/kkd27_5.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/kkd38_6.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/nonfull.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/origin.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/reg24-5.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh2.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh3.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh4.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh5.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh6.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh7.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/sampleh8.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/samplelp.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/samplelp1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/samplelp2.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/samplelp3.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine/samplelp4.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/cube3.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/cubocta.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/dodeca.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/grcubocta.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/hexocta.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/icododeca.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/rcubocta.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples-ine3d/rhomtria.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/project1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/project1res.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/project2.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/project2res.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/redcheck.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sample.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh2.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh3.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh4.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh5.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh6.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh7.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/sampleh8.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp.testlp1_gmp_output
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp.testlp1_output
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp1.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp2.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp3.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp4.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp_big.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplelp_big_dualinfeas.ine
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplev1.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplev2.ext
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/examples/samplev3.ext



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201810131629.w9DGTjm1068279>