Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 7 Dec 2018 04:29:45 +0000 (UTC)
From:      Yuri Victorovich <yuri@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r486822 - in head/math: . barvinok barvinok/files
Message-ID:  <201812070429.wB74Tjbv097542@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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



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