diff options
| author | asau <asau@pkgsrc.org> | 2013-10-26 19:44:33 +0000 |
|---|---|---|
| committer | asau <asau@pkgsrc.org> | 2013-10-26 19:44:33 +0000 |
| commit | f6d3a9686f97bfeebd2a7373fa370882d072bde9 (patch) | |
| tree | 338e61a443db369e11122fe97ee68804dfd5fad1 /lang/coq | |
| parent | e172bcf18e7ac8ca442b19e78ee312257f2886b9 (diff) | |
| download | pkgsrc-f6d3a9686f97bfeebd2a7373fa370882d072bde9.tar.gz | |
Accept GNU Make 4 and later.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/distinfo | 3 | ||||
| -rw-r--r-- | lang/coq/patches/patch-configure | 15 |
2 files changed, 17 insertions, 1 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 92db7e2bdb8..4d1bda6765e 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,7 @@ -$NetBSD: distinfo,v 1.16 2013/04/20 08:21:49 jaapb Exp $ +$NetBSD: distinfo,v 1.17 2013/10/26 19:44:33 asau Exp $ SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6 RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da Size (coq-8.4pl2.tar.gz) = 4145112 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 +SHA1 (patch-configure) = e1addbbc2ac9117e086dbe51f2e0c314d9f8ca93 diff --git a/lang/coq/patches/patch-configure b/lang/coq/patches/patch-configure new file mode 100644 index 00000000000..e0de90c1183 --- /dev/null +++ b/lang/coq/patches/patch-configure @@ -0,0 +1,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" |