[pkgsrc/trunk]: pkgsrc/lang/coq Don't use -fno-defer-pop.

[joerg <joerg%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/e6174a824c04
branches:  trunk
changeset: 625923:e6174a824c04
user:      joerg <joerg%pkgsrc.org@localhost>
date:      Sun Oct 27 22:22:31 2013 +0000

description:
Don't use -fno-defer-pop.

diffstat:

 lang/coq/distinfo                |   4 ++--
 lang/coq/patches/patch-configure |  13 +++++++++++--
 2 files changed, 13 insertions(+), 4 deletions(-)

diffs (37 lines):

diff -r 276de124f31b -r e6174a824c04 lang/coq/distinfo
--- a/lang/coq/distinfo Sun Oct 27 22:00:15 2013 +0000
+++ b/lang/coq/distinfo Sun Oct 27 22:22:31 2013 +0000
@@ -1,7 +1,7 @@
-$NetBSD: distinfo,v 1.17 2013/10/26 19:44:33 asau Exp $
+$NetBSD: distinfo,v 1.18 2013/10/27 22:22:31 joerg 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
+SHA1 (patch-configure) = 1ad232e16d397a762e61c000d1859c70d2447fc1
diff -r 276de124f31b -r e6174a824c04 lang/coq/patches/patch-configure
--- a/lang/coq/patches/patch-configure  Sun Oct 27 22:00:15 2013 +0000
+++ b/lang/coq/patches/patch-configure  Sun Oct 27 22:22:31 2013 +0000
@@ -1,9 +1,18 @@
-$NetBSD: patch-configure,v 1.1 2013/10/26 19:44:34 asau Exp $
+$NetBSD: patch-configure,v 1.2 2013/10/27 22:22:31 joerg Exp $
 
 Accept GNU Make 4 and later.
 
---- configure.orig     2013-10-26 19:28:30.000000000 +0000
+--- 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`