diff --git a/math/barvinok/Makefile b/math/barvinok/Makefile index a87bfb8b1333..33181c3e7505 100644 --- a/math/barvinok/Makefile +++ b/math/barvinok/Makefile @@ -1,28 +1,28 @@ PORTNAME= barvinok -DISTVERSION= 0.41.6 +DISTVERSION= 0.41.7 CATEGORIES= math MASTER_SITES= https://barvinok.sourceforge.io/ MAINTAINER= yuri@FreeBSD.org COMMENT= Library for counting the number of integer points in polytopes WWW= http://freshmeat.sourceforge.net/projects/barvinok LICENSE= GPLv2 FETCH_DEPENDS= git:devel/git LIB_DEPENDS= libglpk.so:math/glpk \ libgmp.so:math/gmp \ libisl.so:devel/isl \ libntl.so:math/ntl \ libpolylibgmp.so:math/polylib USES= compiler:c11 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 INSTALL_TARGET= install-strip TEST_TARGET= check .include diff --git a/math/barvinok/distinfo b/math/barvinok/distinfo index 5e7bd7ee9035..afe8c8265352 100644 --- a/math/barvinok/distinfo +++ b/math/barvinok/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1656884260 -SHA256 (barvinok-0.41.6.tar.gz) = 20a8840caedf55c501dcf0906275aff354897d6e60e4fae707efddb647a6ee52 -SIZE (barvinok-0.41.6.tar.gz) = 6344564 +TIMESTAMP = 1685989736 +SHA256 (barvinok-0.41.7.tar.gz) = 1d305e42487d3db8084a233035a1578be827a8d8d4a5a7506f6a6315b18273d1 +SIZE (barvinok-0.41.7.tar.gz) = 6436603 diff --git a/math/barvinok/pkg-plist b/math/barvinok/pkg-plist index 127597e7939c..4710b60ba182 100644 --- a/math/barvinok/pkg-plist +++ b/math/barvinok/pkg-plist @@ -1,22 +1,21 @@ 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.11 +lib/libbarvinok.so.23.0.12 libdata/pkgconfig/barvinok.pc