diff options
Diffstat (limited to 'devel/isl/Makefile')
| -rw-r--r-- | devel/isl/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/devel/isl/Makefile b/devel/isl/Makefile index c210a607520c..fb242e4ebe30 100644 --- a/devel/isl/Makefile +++ b/devel/isl/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= isl -PORTVERSION= 0.15 -PORTREVISION= 1 +PORTVERSION= 0.16.1 CATEGORIES= devel MASTER_SITES= http://isl.gforge.inria.fr/ @@ -11,15 +10,17 @@ MAINTAINER= danilo@FreeBSD.org COMMENT= Integer Set Library LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp -CONFIGURE_ARGS+= --with-gmp-prefix=${LOCALBASE} +CONFIGURE_ARGS= --with-gmp-prefix=${LOCALBASE} GNU_CONFIGURE= yes +INSTALL_TARGET= install-strip USES= libtool tar:xz USE_LDCONFIG= yes post-patch: - ${REINPLACE_CMD} -e 's@pkgconfig_libdir=.*@pkgconfig_libdir=$${prefix}/libdata/pkgconfig@' ${WRKSRC}/configure + @${REINPLACE_CMD} -e 's@pkgconfig_libdir=.*@pkgconfig_libdir=$${prefix}/libdata/pkgconfig@' ${WRKSRC}/configure .include <bsd.port.mk> |