diff options
Diffstat (limited to 'devel/coccinelle/Makefile')
-rw-r--r-- | devel/coccinelle/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/coccinelle/Makefile b/devel/coccinelle/Makefile index 99533970bc10..488e3a5d6de2 100644 --- a/devel/coccinelle/Makefile +++ b/devel/coccinelle/Makefile @@ -1,12 +1,14 @@ PORTNAME= coccinelle PORTVERSION= 1.1.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= devel MAINTAINER= ports@FreeBSD.org COMMENT= Program matching and transformation engine WWW= http://coccinelle.lip6.fr/ +EXTRA_PATCHES= ${FILESDIR}/0001-Fix-263-wrong-default-path-for-COCCINELLE_HOME.patch:-p1 + LICENSE= GPLv2 LICENSE_FILE= ${WRKSRC}/license.txt @@ -23,7 +25,6 @@ BINARY_ALIAS= make=${LOCALBASE}/bin/gmake SHEBANG_FILES= tools/pycocci USE_PERL5= build GNU_CONFIGURE= yes -GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ENV= PYTHON="${PYTHON_CMD}" PYVER="${PYTHON_VER}" MAKE_ARGS= PYTHON_VERSION="${PYTHON_VER}" |