diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index 62625e5b000..c22234da70b 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -14,6 +14,8 @@ homepage="http://coccinelle.lip6.fr/" distfiles="http://coccinelle.lip6.fr/distrib/coccinelle-${version}.tar.gz" checksum=475e2bed5486023d19d9e0dec5e109b04b872a9917b62faf83ce3521676f728b +broken="ocaml 4.08" + export OCAMLPARAM="safe-string=0,_" disable_parallel_build=yes nocross=yes