diff options
| author | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
|---|---|---|
| committer | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
| commit | 2c44e6acd06e2874b82746cb9dcdc785097b4203 (patch) | |
| tree | aa391452ea6a289ee70b33bcbec2503509a494d2 /devel/coccinelle | |
| parent | cb214a8a7bdc497f794275b729a70ec66437e2a7 (diff) | |
| download | ports-2c44e6acd06e2874b82746cb9dcdc785097b4203.tar.gz ports-2c44e6acd06e2874b82746cb9dcdc785097b4203.zip | |
Notes
Diffstat (limited to 'devel/coccinelle')
| -rw-r--r-- | devel/coccinelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/coccinelle/Makefile b/devel/coccinelle/Makefile index 2851950d7f83..6eee371ed4ec 100644 --- a/devel/coccinelle/Makefile +++ b/devel/coccinelle/Makefile @@ -17,6 +17,7 @@ USES= gmake perl5 pkgconfig:build python tar:tgz GNU_CONFIGURE= yes USE_PERL5= build USE_OCAML= 3.0+ +USE_OCAML_CAMLP4=yes MAKE_ARGS+= PYTHON_VERSION=${PYTHON_VER} CONFIGURE_ENV+= PYVER=${PYTHON_VER} PYTHON=${PYTHON_CMD} |