From a492c2b376084fe8b4a4e6309c30a4000a1d39f7 Mon Sep 17 00:00:00 2001
From: asau <asau@pkgsrc.org>
Date: Sat, 26 Oct 2013 19:44:33 +0000
Subject: Accept GNU Make 4 and later.

---
 lang/coq/distinfo                |  3 ++-
 lang/coq/patches/patch-configure | 15 +++++++++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 lang/coq/patches/patch-configure

(limited to 'lang/coq')

diff --git a/lang/coq/distinfo b/lang/coq/distinfo
index 92db7e2bdb8..4d1bda6765e 100644
--- a/lang/coq/distinfo
+++ b/lang/coq/distinfo
@@ -1,6 +1,7 @@
-$NetBSD: distinfo,v 1.16 2013/04/20 08:21:49 jaapb Exp $
+$NetBSD: distinfo,v 1.17 2013/10/26 19:44:33 asau Exp $
 
 SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6
 RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da
 Size (coq-8.4pl2.tar.gz) = 4145112 bytes
 SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4
+SHA1 (patch-configure) = e1addbbc2ac9117e086dbe51f2e0c314d9f8ca93
diff --git a/lang/coq/patches/patch-configure b/lang/coq/patches/patch-configure
new file mode 100644
index 00000000000..e0de90c1183
--- /dev/null
+++ b/lang/coq/patches/patch-configure
@@ -0,0 +1,15 @@
+$NetBSD: patch-configure,v 1.1 2013/10/26 19:44:34 asau Exp $
+
+Accept GNU Make 4 and later.
+
+--- configure.orig	2013-10-26 19:28:30.000000000 +0000
++++ configure
+@@ -335,7 +335,7 @@ 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" -gt 3 -o "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ]; then
+       echo "You have GNU Make $MAKEVERSION. Good!"
+   else
+       OK="no"
-- 
cgit v1.2.3