mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-04 06:15:24 +00:00
New port: math/barvinok: Library for counting the number of integer points in polytopes
This commit is contained in:
parent
ecba46225f
commit
bdf58b9b7c
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=486822
@ -134,6 +134,7 @@
|
||||
SUBDIR += aspcud
|
||||
SUBDIR += asymptote
|
||||
SUBDIR += atlas
|
||||
SUBDIR += barvinok
|
||||
SUBDIR += biggles
|
||||
SUBDIR += blacs
|
||||
SUBDIR += blas
|
||||
|
25
math/barvinok/Makefile
Normal file
25
math/barvinok/Makefile
Normal file
@ -0,0 +1,25 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= barvinok
|
||||
DISTVERSION= 0.41
|
||||
CATEGORIES= math
|
||||
MASTER_SITES= http://barvinok.gforge.inria.fr/
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
COMMENT= Library for counting the number of integer points in polytopes
|
||||
|
||||
LICENSE= GPLv2
|
||||
|
||||
LIB_DEPENDS= libglpk.so:math/glpk \
|
||||
libgmp.so:math/gmp \
|
||||
libisl.so:devel/isl \
|
||||
libntl.so:math/ntl \
|
||||
libpolylibgmp.so:math/polylib
|
||||
|
||||
USES= gmake libtool localbase:ldflags pkgconfig
|
||||
GNU_CONFIGURE= yes
|
||||
CONFIGURE_ARGS= --disable-static --enable-shared --enable-shared-barvinok \
|
||||
--with-gmp=system --with-polylib=system --with-isl=system
|
||||
USE_LDCONFIG= yes
|
||||
|
||||
.include <bsd.port.mk>
|
3
math/barvinok/distinfo
Normal file
3
math/barvinok/distinfo
Normal file
@ -0,0 +1,3 @@
|
||||
TIMESTAMP = 1544131896
|
||||
SHA256 (barvinok-0.41.tar.gz) = b6aec6e6fd5b1574f5397cebb819c686f076a4a9d679ff023fe2999bc01054a5
|
||||
SIZE (barvinok-0.41.tar.gz) = 5340156
|
6
math/barvinok/files/patch-interface_all__barvinok.h
Normal file
6
math/barvinok/files/patch-interface_all__barvinok.h
Normal file
@ -0,0 +1,6 @@
|
||||
--- interface/all_barvinok.h.orig 2018-12-07 04:15:52 UTC
|
||||
+++ interface/all_barvinok.h
|
||||
@@ -1,2 +1,2 @@
|
||||
-#include <interface/all.h>
|
||||
+//#include <interface/all.h>
|
||||
#include <barvinok/isl.h>
|
6
math/barvinok/pkg-descr
Normal file
6
math/barvinok/pkg-descr
Normal file
@ -0,0 +1,6 @@
|
||||
barvinok is a library for counting the number of integer points in parametric
|
||||
and non-parametric polytopes based on polylib. For a parametric polytope, the
|
||||
number of points is represented by either a piecewise quasi-polynomial or an
|
||||
Ehrhart series.
|
||||
|
||||
WWW: http://freshmeat.sourceforge.net/projects/barvinok
|
22
math/barvinok/pkg-plist
Normal file
22
math/barvinok/pkg-plist
Normal file
@ -0,0 +1,22 @@
|
||||
bin/barvinok_count
|
||||
bin/barvinok_ehrhart
|
||||
bin/barvinok_enumerate
|
||||
bin/barvinok_enumerate_e
|
||||
bin/iscc
|
||||
bin/polytope_scan
|
||||
include/barvinok/NTL.h
|
||||
include/barvinok/NTL_QQ.h
|
||||
include/barvinok/barvinok.h
|
||||
include/barvinok/basis_reduction.h
|
||||
include/barvinok/evalue.h
|
||||
include/barvinok/genfun.h
|
||||
include/barvinok/isl.h
|
||||
include/barvinok/options.h
|
||||
include/barvinok/polylib.h
|
||||
include/barvinok/sample.h
|
||||
include/barvinok/set.h
|
||||
include/barvinok/util.h
|
||||
lib/libbarvinok.so
|
||||
lib/libbarvinok.so.23
|
||||
lib/libbarvinok.so.23.0.6
|
||||
libdata/pkgconfig/barvinok.pc
|
Loading…
Reference in New Issue
Block a user