summaryrefslogtreecommitdiff
path: root/lang/coq/patches/patch-configure
blob: e0de90c1183df670889ad47e0c2d63f1eea6d846 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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"