From owner-svn-ports-head@freebsd.org Sat Oct 13 16:29:47 2018 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 2B74010CF195; Sat, 13 Oct 2018 16:29:47 +0000 (UTC) (envelope-from fernape@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id D5CB38135C; Sat, 13 Oct 2018 16:29:46 +0000 (UTC) (envelope-from fernape@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id CEFC6115AE; Sat, 13 Oct 2018 16:29:46 +0000 (UTC) (envelope-from fernape@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w9DGTkog068284; Sat, 13 Oct 2018 16:29:46 GMT (envelope-from fernape@FreeBSD.org) Received: (from fernape@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w9DGTjm1068279; Sat, 13 Oct 2018 16:29:45 GMT (envelope-from fernape@FreeBSD.org) Message-Id: <201810131629.w9DGTjm1068279@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: fernape set sender to fernape@FreeBSD.org using -f From: =?UTF-8?Q?Fernando_Apestegu=c3=ada?= Date: Sat, 13 Oct 2018 16:29:45 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r481995 - in head/math: . cddlib X-SVN-Group: ports-head X-SVN-Commit-Author: fernape X-SVN-Commit-Paths: in head/math: . cddlib X-SVN-Commit-Revision: 481995 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 13 Oct 2018 16:29:47 -0000 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 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