aboutsummaryrefslogtreecommitdiff
path: root/math/barvinok/Makefile
blob: 17ea6adfd52117257820b9f80f32418760b856dc (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

PORTNAME=	barvinok
DISTVERSION=	0.41.4
PORTREVISION=	1
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=		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

.include <bsd.port.mk>