summaryrefslogtreecommitdiff
path: root/extra/webkitgtk
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-07-05 03:56:09 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-07-05 03:56:09 +0000
commit4cd3fcfccda5c0375669bd300834ac77a0a617fb (patch)
tree45654211fb7434273df8b8fdc98c761fe1eef5e8 /extra/webkitgtk
parent32fb2c222ff8558d8abdfa411e8487dc9a3c0696 (diff)
Sat Jul 5 03:51:53 UTC 2014
Diffstat (limited to 'extra/webkitgtk')
-rw-r--r--extra/webkitgtk/PKGBUILD11
-rw-r--r--extra/webkitgtk/webkitgtk-2.4.3-angle_symbol_table.patch13
2 files changed, 20 insertions, 4 deletions
diff --git a/extra/webkitgtk/PKGBUILD b/extra/webkitgtk/PKGBUILD
index 10c4eb186..748cc7c50 100644
--- a/extra/webkitgtk/PKGBUILD
+++ b/extra/webkitgtk/PKGBUILD
@@ -1,10 +1,10 @@
-# $Id: PKGBUILD 214360 2014-06-07 18:26:36Z heftig $
+# $Id: PKGBUILD 216508 2014-07-04 19:12:59Z heftig $
# Maintainer: Andreas Radke <andyrtr@archlinux.org>
pkgbase=webkitgtk
pkgname=(webkitgtk webkitgtk2)
pkgver=2.4.3
-pkgrel=1
+pkgrel=2
pkgdesc="GTK+ Web content engine library"
arch=(i686 x86_64)
url="http://webkitgtk.org/"
@@ -17,9 +17,11 @@ optdepends=('gst-plugins-base: free media decoding'
'gst-libav: nonfree media decoding')
options=(!emptydirs)
source=(http://webkitgtk.org/releases/$pkgbase-${pkgver}.tar.xz
- fix-pretty-quotes.patch)
+ fix-pretty-quotes.patch
+ webkitgtk-2.4.3-angle_symbol_table.patch)
sha256sums=('9862c3eac1d12cc6e52cc39060a1284163950b304d534529a0dbcc5958a8ceac'
- '56316228bbbf0b7ebcbe210a35120f4e72cb9c1b680dd82cc2bde0f4549245e6')
+ '56316228bbbf0b7ebcbe210a35120f4e72cb9c1b680dd82cc2bde0f4549245e6'
+ 'a2c0b96a1671d43c18baf3cbe53c84738181aa08c3ac448c423b50722953a50b')
prepare() {
mkdir build-gtk{,2} path
@@ -28,6 +30,7 @@ prepare() {
cd $pkgbase-$pkgver
patch -Np0 -i ../fix-pretty-quotes.patch
+ patch -Np1 -i ../webkitgtk-2.4.3-angle_symbol_table.patch
}
_build() (
diff --git a/extra/webkitgtk/webkitgtk-2.4.3-angle_symbol_table.patch b/extra/webkitgtk/webkitgtk-2.4.3-angle_symbol_table.patch
new file mode 100644
index 000000000..8d3096670
--- /dev/null
+++ b/extra/webkitgtk/webkitgtk-2.4.3-angle_symbol_table.patch
@@ -0,0 +1,13 @@
+--- a/Source/ThirdParty/ANGLE/src/compiler/SymbolTable.cpp
++++ b/Source/ThirdParty/ANGLE/src/compiler/SymbolTable.cpp
+@@ -171,7 +171,8 @@ TFunction::~TFunction()
+ TSymbolTableLevel::~TSymbolTableLevel()
+ {
+ for (tLevel::iterator it = level.begin(); it != level.end(); ++it)
+- delete (*it).second;
++ if ((*it).first == (*it).second->getMangledName())
++ delete (*it).second;
+ }
+
+ //
+