24 lines
818 B
Text
24 lines
818 B
Text
$NetBSD: patch-configure,v 1.2 2013/10/27 22:22:31 joerg Exp $
|
|
|
|
Accept GNU Make 4 and later.
|
|
|
|
--- configure.orig 2013-10-17 13:00:47.000000000 +0000
|
|
+++ configure
|
|
@@ -111,7 +111,7 @@ coq_debug_flag_opt=
|
|
coq_profile_flag=
|
|
coq_annotate_flag=
|
|
best_compiler=opt
|
|
-cflags="-fno-defer-pop -Wall -Wno-unused"
|
|
+cflags="-Wall -Wno-unused"
|
|
natdynlink=yes
|
|
|
|
local=false
|
|
@@ -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"
|