Make it build with newer gmake

This commit is contained in:
tonio 2010-11-07 15:39:55 +00:00
parent c2201d9be0
commit e358c61239
2 changed files with 20 additions and 6 deletions

View file

@ -1,9 +1,9 @@
$NetBSD: distinfo,v 1.10 2009/12/12 21:12:43 asau Exp $
$NetBSD: distinfo,v 1.11 2010/11/07 15:39:55 tonio Exp $
SHA1 (coq-8.2pl1.tar.gz) = 4aed3302adc2edbaa5d97984512c1c13014bd649
RMD160 (coq-8.2pl1.tar.gz) = dd5758a94bb3de49967cec76baa33eb5169659ce
Size (coq-8.2pl1.tar.gz) = 3600620 bytes
SHA1 (patch-aa) = 2725d9fb667f6a66bf9cb6dd0bdcdbd94d8c1fd6
SHA1 (patch-ab) = 6573a11efab6ef7c026e8fd39b23e8596dee5a61
SHA1 (patch-ab) = 207d8138baf9bfbb78d816c24dcc367869a60569
SHA1 (patch-ac) = 30780c9f96ad16c814a5edc50bd1edbd030aa9b5
SHA1 (patch-ad) = 9bb28ca4eeb77d53d3665fbc4575bea1f57c738c

View file

@ -1,8 +1,22 @@
$NetBSD: patch-ab,v 1.2 2009/09/05 20:44:58 tonio Exp $
$NetBSD: patch-ab,v 1.3 2010/11/07 15:39:55 tonio Exp $
--- configure.orig 2009-07-01 11:58:00.000000000 +0200
--- configure.orig 2009-07-01 09:58:00.000000000 +0000
+++ configure
@@ -331,7 +331,7 @@ if [ "$MAKE" != "" ]; then
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
##################################
#
@@ -325,13 +325,15 @@ MAKE=`which make`
if [ "$MAKE" != "" ]; then
MAKEVERSION=`$MAKE -v | head -1`
case $MAKEVERSION in
+ "GNU Make 3.82")
+ echo "You have GNU Make 3.82. Good!";;
"GNU Make 3.81")
echo "You have GNU Make 3.81. Good!";;
*)
OK="no"
if [ -x ./make ]; then
MAKEVERSION=`./make -v | head -1`
@ -11,7 +25,7 @@ $NetBSD: patch-ab,v 1.2 2009/09/05 20:44:58 tonio Exp $
fi
if [ $OK = "no" ]; then
echo "GNU Make >= 3.81 is needed"
@@ -412,7 +412,7 @@ esac
@@ -412,7 +414,7 @@ esac
# this fixes a camlp4 bug under FreeBSD
# ("native-code program cannot do a dynamic load")