svn commit: r486822 - in head/math: . barvinok barvinok/files
Yuri Victorovich
yuri at FreeBSD.org
Fri Dec 7 04:29:47 UTC 2018
Author: yuri
Date: Fri Dec 7 04:29:45 2018
New Revision: 486822
URL: https://svnweb.freebsd.org/changeset/ports/486822
Log:
New port: math/barvinok: Library for counting the number of integer points in polytopes
Added:
head/math/barvinok/
head/math/barvinok/Makefile (contents, props changed)
head/math/barvinok/distinfo (contents, props changed)
head/math/barvinok/files/
head/math/barvinok/files/patch-interface_all__barvinok.h (contents, props changed)
head/math/barvinok/pkg-descr (contents, props changed)
head/math/barvinok/pkg-plist (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Fri Dec 7 04:10:11 2018 (r486821)
+++ head/math/Makefile Fri Dec 7 04:29:45 2018 (r486822)
@@ -134,6 +134,7 @@
SUBDIR += aspcud
SUBDIR += asymptote
SUBDIR += atlas
+ SUBDIR += barvinok
SUBDIR += biggles
SUBDIR += blacs
SUBDIR += blas
Added: head/math/barvinok/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/barvinok/Makefile Fri Dec 7 04:29:45 2018 (r486822)
@@ -0,0 +1,25 @@
+# $FreeBSD$
+
+PORTNAME= barvinok
+DISTVERSION= 0.41
+CATEGORIES= math
+MASTER_SITES= http://barvinok.gforge.inria.fr/
+
+MAINTAINER= yuri at 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>
Added: head/math/barvinok/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/barvinok/distinfo Fri Dec 7 04:29:45 2018 (r486822)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1544131896
+SHA256 (barvinok-0.41.tar.gz) = b6aec6e6fd5b1574f5397cebb819c686f076a4a9d679ff023fe2999bc01054a5
+SIZE (barvinok-0.41.tar.gz) = 5340156
Added: head/math/barvinok/files/patch-interface_all__barvinok.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/barvinok/files/patch-interface_all__barvinok.h Fri Dec 7 04:29:45 2018 (r486822)
@@ -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>
Added: head/math/barvinok/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/barvinok/pkg-descr Fri Dec 7 04:29:45 2018 (r486822)
@@ -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
Added: head/math/barvinok/pkg-plist
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/barvinok/pkg-plist Fri Dec 7 04:29:45 2018 (r486822)
@@ -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
More information about the svn-ports-all
mailing list