New commits:
commit 107ff17fc7889c786afb3e6526ebad35a1df2756
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
video/mpv: version 0.3.4
commit 09cb4522de1dbb5e66f24559c15d0a1d9c4e1857
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
security/rkhunter: version 1.4.0
commit ec79f565b77f373985a656d2d12eac2135817166
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/coq: fix detection of make during configure
commit a438c3df4be6bc555a90c990d6463e5c6e0dea7c
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
devel/ocaml: version 4.01.0
commit dfb33986cf7e09d777c6a1b9e2c1e5cce3339a77
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
utils/ocaml-csv: version 1.3.2
commit 83df01fd062ac7219464a7e8644020bf2ecfd36d
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
libs/findlib: version 1.4
diff --git a/devel/coq/0001-fix-make-detection.patch
b/devel/coq/0001-fix-make-detection.patch
new file mode 100644
index 0000000..8c95f77
--- /dev/null
+++ b/devel/coq/0001-fix-make-detection.patch
@@ -0,0 +1,61 @@
+From 5e3aadfd0f36fb95cf4bc45e819780883d4a541b Mon Sep 17 00:00:00 2001
+From: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+Date: Sun, 2 Feb 2014 00:39:39 +0100
+Subject: [PATCH] fix make detection
+
+---
+ configure | 20 ++++++++++----------
+ 1 file changed, 10 insertions(+), 10 deletions(-)
+
+diff --git a/configure b/configure
+index 7f75b35..d99340a 100755
+--- a/configure
++++ b/configure
+@@ -336,22 +336,22 @@ if [ "$MAKE" != "" ]; then
+ MAKEVERSION=`$MAKE -v | head -1 | cut -d" " -f3`
+ MAKEVERSIONMAJOR=`echo $MAKEVERSION | cut -d. -f1`
+ MAKEVERSIONMINOR=`echo $MAKEVERSION | cut -d. -f2`
+- if [ "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ]; then
++ if [ "$MAKEVERSIONMAJOR" -eq 4 -a "$MAKEVERSIONMINOR" -ge 0 ]; then
+ echo "You have GNU Make $MAKEVERSION. Good!"
+ else
+ OK="no"
+- #Extra support for local installation of make 3.81
+- #will be useless when make >= 3.81 will be standard
++ #Extra support for local installation of make 4.0
++ #will be useless when make >= 4.0 will be standard
+ if [ -x ./make ]; then
+ MAKEVERSION=`./make -v | head -1`
+- if [ "$MAKEVERSION" = "GNU Make 3.81" ]; then OK="yes"; fi
++ if [ "$MAKEVERSION" = "GNU Make 4.0" ]; then OK="yes"; fi
+ fi
+ if [ $OK = "no" ]; then
+- echo "GNU Make >= 3.81 is needed."
+- echo "Make 3.81 can be downloaded from ftp://ftp.gnu.org/gnu/make/make-3.81.tar.gz"
++ echo "GNU Make >= 4.0 is needed."
++ echo "Make 4.0 can be downloaded from ftp://ftp.gnu.org/gnu/make/make-4.0.tar.gz"
+ echo "then locally installed on a Unix-style system by issuing:"
+- echo " tar xzvf make-3.81.tar.gz"
+- echo " cd make-3.81"
++ echo " tar xzvf make-4.0.tar.gz"
++ echo " cd make-4.0"
+ echo " ./configure"
+ echo " make"
+ echo " mv make .."
+@@ -359,11 +359,11 @@ if [ "$MAKE" != "" ]; then
+ echo "Restart then the configure script and later use ./make
instead of make."
+ exit 1
+ else
+- echo "You have locally installed GNU Make 3.81. Good!"
++ echo "You have locally installed GNU Make 4.0. Good!"
+ fi
+ fi
+ else
+- echo "Cannot find GNU Make >= 3.81."
++ echo "Cannot find GNU Make >= 4.0."
+ fi
+
+ # Browser command
+--
+1.8.5.3
+
diff --git a/devel/coq/HISTORY b/devel/coq/HISTORY
index 872d18a..80ce31c 100644
--- a/devel/coq/HISTORY
+++ b/devel/coq/HISTORY
@@ -1,3 +1,7 @@
+2014-02-02 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * PRE_BUILD, 0001-fix-make-detection.patch: fix detection of
+ make in configure
+
2013-05-26 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
* DEPENDS: added dependency on zarith