diff options
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 5 | ||||
| -rw-r--r-- | lang/coq/distinfo | 9 | ||||
| -rw-r--r-- | lang/coq/patches/patch-configure | 24 |
3 files changed, 6 insertions, 32 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 81527d9638a..3bb8ad8691a 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.74 2014/05/05 00:48:05 ryoon Exp $ +# $NetBSD: Makefile,v 1.75 2014/05/13 14:52:28 jaapb Exp $ # -DISTNAME= coq-8.4pl2 -PKGREVISION= 14 +DISTNAME= coq-8.4pl4 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 3cd926d82e2..fae00471b6a 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,7 +1,6 @@ -$NetBSD: distinfo,v 1.18 2013/10/27 22:22:31 joerg Exp $ +$NetBSD: distinfo,v 1.19 2014/05/13 14:52:28 jaapb Exp $ -SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6 -RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da -Size (coq-8.4pl2.tar.gz) = 4145112 bytes +SHA1 (coq-8.4pl4.tar.gz) = 4dfc3a1ae65f5c480ddc4387d21549a526183e00 +RMD160 (coq-8.4pl4.tar.gz) = 19e3fe905f5db09710b1f862f21e9b57c28f9704 +Size (coq-8.4pl4.tar.gz) = 4067355 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 -SHA1 (patch-configure) = 1ad232e16d397a762e61c000d1859c70d2447fc1 diff --git a/lang/coq/patches/patch-configure b/lang/coq/patches/patch-configure deleted file mode 100644 index d5874e20ae7..00000000000 --- a/lang/coq/patches/patch-configure +++ /dev/null @@ -1,24 +0,0 @@ -$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" |