New package: coccinelle-1.0.5

srcpkgs/coccinelle/patches/no-docs.patch

@@ -0,0 +1,12 @@
+Building docs requires pdflatex.
+
+--- Makefile.orig	2016-06-08 17:54:25.406353442 +0200
++++ Makefile	2016-06-08 17:54:06.599352471 +0200
+@@ -144,7 +144,6 @@
+ 	$(MAKE) .depend
+ 	$(MAKE) $(TARGET_SPATCH)
+ 	$(MAKE) preinstall
+-	$(MAKE) docs
+ 	@$(ECHO) -e "\n\tcoccinelle can now be installed via 'make install'"
+ 
+ all.opt: Makefile.config

srcpkgs/coccinelle/template

@@ -0,0 +1,18 @@
+# Template file for 'coccinelle'
+pkgname=coccinelle
+version=1.0.5
+revision=1
+build_style="gnu-configure"
+configure_args="--without-pdflatex"
+makedepends="ocaml ocaml-findlib camlp4 pcre-devel python-devel"
+short_desc="Program matching and transformation engine"
+maintainer="Michael Gehring <mg@ebfe.org>"
+license="GPL-2"
+homepage="http://coccinelle.lip6.fr/"
+distfiles="http://coccinelle.lip6.fr/distrib/coccinelle-${version}.tgz"
+checksum=5efb093b538145b7526a06946c09c7caaa715006658af2049faa8739f459743b
+
+disable_parallel_build=yes
+nopie=yes
+nocross=yes
+conflicts="pfff" # /usr/bin/spatch