|
Lines 2-9
Link Here
|
| 2 |
# $FreeBSD$ |
2 |
# $FreeBSD$ |
| 3 |
|
3 |
|
| 4 |
PORTNAME= isl |
4 |
PORTNAME= isl |
| 5 |
PORTVERSION= 0.15 |
5 |
PORTVERSION= 0.16.1 |
| 6 |
PORTREVISION= 1 |
|
|
| 7 |
CATEGORIES= devel |
6 |
CATEGORIES= devel |
| 8 |
MASTER_SITES= http://isl.gforge.inria.fr/ |
7 |
MASTER_SITES= http://isl.gforge.inria.fr/ |
| 9 |
|
8 |
|
|
Lines 11-21
MAINTAINER= danilo@FreeBSD.org
Link Here
|
| 11 |
COMMENT= Integer Set Library |
10 |
COMMENT= Integer Set Library |
| 12 |
|
11 |
|
| 13 |
LICENSE= MIT |
12 |
LICENSE= MIT |
|
|
13 |
LICENSE_FILE= ${WRKSRC}/LICENSE |
| 14 |
|
14 |
|
| 15 |
LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp |
15 |
LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp |
| 16 |
|
16 |
|
| 17 |
CONFIGURE_ARGS+= --with-gmp-prefix=${LOCALBASE} |
17 |
CONFIGURE_ARGS= --with-gmp-prefix=${LOCALBASE} |
| 18 |
GNU_CONFIGURE= yes |
18 |
GNU_CONFIGURE= yes |
|
|
19 |
INSTALL_TARGET= install-strip |
| 19 |
USES= libtool tar:xz |
20 |
USES= libtool tar:xz |
| 20 |
USE_LDCONFIG= yes |
21 |
USE_LDCONFIG= yes |
| 21 |
|
22 |
|