blob: d5874e20ae7534eb8c90cd77841762d69df6d36b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
$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"
|
