diff options
| author | tonio <tonio@pkgsrc.org> | 2010-11-07 15:39:55 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2010-11-07 15:39:55 +0000 |
| commit | 30195db3dc26db4dccf8bbbc15128b440e821a0c (patch) | |
| tree | 09fbbc7da3212a8ad90258cb91cd96d25b361704 /lang/coq | |
| parent | 4e25415cb7789faa6706d0cddcf3d47c3eece06e (diff) | |
| download | pkgsrc-30195db3dc26db4dccf8bbbc15128b440e821a0c.tar.gz | |
Make it build with newer gmake
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/distinfo | 4 | ||||
| -rw-r--r-- | lang/coq/patches/patch-ab | 22 |
2 files changed, 20 insertions, 6 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 6084e1ce579..45585806182 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -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 diff --git a/lang/coq/patches/patch-ab b/lang/coq/patches/patch-ab index 0ed17e25bef..3f181430a76 100644 --- a/lang/coq/patches/patch-ab +++ b/lang/coq/patches/patch-ab @@ -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") |