diff options
Diffstat (limited to 'devel/coccinelle/Makefile')
-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} |