kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Don't use -fno-defer-pop.

Browse source
This commit is contained in:
joerg 2013-10-27 22:22:31 +00:00
parent 1b75e99ab9
commit 9704b9d06d
2 changed files with 13 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lang/coq/distinfo
View file

@ -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

13
lang/coq/patches/patch-configure
View file

@ -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`