From 019ebb101fd1e6ca967148021a3d3b936bdeb189 Mon Sep 17 00:00:00 2001
From: Michael Gehring <mg@ebfe.org>
Date: Wed, 8 Jun 2016 17:58:54 +0200
Subject: [PATCH] New package: coccinelle-1.0.5

---
 srcpkgs/coccinelle/patches/no-docs.patch | 12 ++++++++++++
 srcpkgs/coccinelle/template              | 18 ++++++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 srcpkgs/coccinelle/patches/no-docs.patch
 create mode 100644 srcpkgs/coccinelle/template

diff --git a/srcpkgs/coccinelle/patches/no-docs.patch b/srcpkgs/coccinelle/patches/no-docs.patch
new file mode 100644
index 00000000000..761b94c825e
--- /dev/null
+++ b/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
diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template
new file mode 100644
index 00000000000..c9ad29ef2d6
--- /dev/null
+++ b/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