mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-23 09:10:43 +00:00
37d5cabada
PR: 195419 Submitted by: alex@kaworu.ch Approved by: maintainer timeout
24 lines
522 B
Makefile
24 lines
522 B
Makefile
# Created by: Andriy Gapon
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= coccinelle
|
|
DISTVERSION= 1.0.0-rc22
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://coccinelle.lip6.fr/distrib/
|
|
|
|
MAINTAINER= avg@icyb.net.ua
|
|
COMMENT= Program matching and transformation engine
|
|
|
|
LICENSE= GPLv2
|
|
|
|
LIB_DEPENDS= libpcre.so:${PORTSDIR}/devel/pcre
|
|
|
|
USES= gmake perl5 pkgconfig:build python tar:tgz
|
|
GNU_CONFIGURE= yes
|
|
USE_PERL5= build
|
|
USE_OCAML= 3.0+
|
|
MAKE_ARGS+= PYTHON_VERSION=${PYTHON_VER}
|
|
CONFIGURE_ENV+= PYVER=${PYTHON_VER} PYTHON=${PYTHON_CMD}
|
|
|
|
.include <bsd.port.mk>
|