diff options
| author | joerg <joerg> | 2013-10-27 22:22:31 +0000 |
|---|---|---|
| committer | joerg <joerg> | 2013-10-27 22:22:31 +0000 |
| commit | ed423d83676309b3fc07ac712fd20b7d3123baa3 (patch) | |
| tree | 1576064d001027494cf34eca77e74d354a8b8de3 /lang/coq | |
| parent | 7a35028d443c739f15fd1537adaade54e2f7398e (diff) | |
| download | pkgsrc-ed423d83676309b3fc07ac712fd20b7d3123baa3.tar.gz | |
Don't use -fno-defer-pop.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/distinfo | 4 | ||||
| -rw-r--r-- | lang/coq/patches/patch-configure | 13 |
2 files changed, 13 insertions, 4 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 4d1bda6765e..3cd926d82e2 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -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 --git a/lang/coq/patches/patch-configure b/lang/coq/patches/patch-configure index e0de90c1183..d5874e20ae7 100644 --- a/lang/coq/patches/patch-configure +++ b/lang/coq/patches/patch-configure @@ -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` |