39 lines
891 B
Makefile
39 lines
891 B
Makefile
PORTNAME= barvinok
|
|
DISTVERSION= 0.41.9
|
|
CATEGORIES= math
|
|
MASTER_SITES= https://barvinok.sourceforge.io/
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Library for counting the number of integer points in polytopes
|
|
WWW= https://barvinok.sourceforge.io/
|
|
|
|
LICENSE= GPLv2
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
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
|
|
|
|
# Testsuite summary for barvinok 0.41.9:
|
|
# TOTAL: 10
|
|
# PASS: 10
|
|
# SKIP: 0
|
|
# XFAIL: 0
|
|
# FAIL: 0
|
|
# XPASS: 0
|
|
# ERROR: 0
|
|
|
|
.include <bsd.port.mk>
|