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
This commit is contained in:
Fernando Apesteguía
parent
9b3d4bc77b
commit
d121c9645e
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=481995
@ -150,6 +150,7 @@
|
||||
SUBDIR += cbc
|
||||
SUBDIR += cblas
|
||||
SUBDIR += ccmath
|
||||
SUBDIR += cddlib
|
||||
SUBDIR += ceres-solver
|
||||
SUBDIR += cgal
|
||||
SUBDIR += cgl
|
||||
|
||||
50
math/cddlib/Makefile
Normal file
50
math/cddlib/Makefile
Normal file
@ -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>
|
||||
3
math/cddlib/distinfo
Normal file
3
math/cddlib/distinfo
Normal file
@ -0,0 +1,3 @@
|
||||
TIMESTAMP = 1535463043
|
||||
SHA256 (cddlib-cddlib-0.94j_GH0.tar.gz) = f54bba785b9f6814be5cf6d76861dd61082997c7b48e0244fc3ccea7195892d4
|
||||
SIZE (cddlib-cddlib-0.94j_GH0.tar.gz) = 496651
|
||||
13
math/cddlib/pkg-descr
Normal file
13
math/cddlib/pkg-descr
Normal file
@ -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
|
||||
134
math/cddlib/pkg-plist
Normal file
134
math/cddlib/pkg-plist
Normal file
@ -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
|
||||
Loading…
Reference in New Issue
Block a user