mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-06 06:30:19 +00:00
26 lines
618 B
Makefile
26 lines
618 B
Makefile
|
# $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>
|