From 50a801882f997d91380ebb5a74a63919582cb211 Mon Sep 17 00:00:00 2001 From: Nicolás Reynolds Date: Sat, 22 Mar 2014 03:51:15 +0000 Subject: Sat Mar 22 03:47:24 UTC 2014 --- extra/webkitgtk2/PKGBUILD | 53 ------------------------------------------- extra/webkitgtk2/bison3.patch | 11 --------- 2 files changed, 64 deletions(-) delete mode 100644 extra/webkitgtk2/PKGBUILD delete mode 100644 extra/webkitgtk2/bison3.patch (limited to 'extra/webkitgtk2') diff --git a/extra/webkitgtk2/PKGBUILD b/extra/webkitgtk2/PKGBUILD deleted file mode 100644 index 7ac1d56aa..000000000 --- a/extra/webkitgtk2/PKGBUILD +++ /dev/null @@ -1,53 +0,0 @@ -# $Id: PKGBUILD 198483 2013-10-30 15:08:20Z allan $ -# Maintainer: Andreas Radke - -pkgname=webkitgtk2 -pkgver=1.10.2 -pkgrel=8 -pkgdesc="GTK+ Web content engine library for GTK+ 2.0" -arch=(i686 x86_64) -url="http://webkitgtk.org/" -license=(custom) -depends=(libxt libxslt sqlite libsoup enchant libgl geoclue gtk2 gstreamer0.10-base - icu) -makedepends=(gperf gobject-introspection python2 mesa ruby gtk-doc) -optdepends=() -provides=("libwebkit=${pkgver}") -conflicts=(libwebkit) -replaces=(libwebkit) -options=(!emptydirs) -source=(http://webkitgtk.org/releases/webkitgtk-${pkgver}.tar.xz - bison3.patch) -sha256sums=('19234f8e4edfaefe91ed06471a2aa8c71d26dd55d33787eede1dcfc9a3a96d9c' - '0996b25d17be61470678c18db9bfad1bf807aac410690fb8935370dbc8b3ce34') - -prepare() { - cd webkitgtk-$pkgver - patch -Np1 -i ../bison3.patch -} - -build() { - cd webkitgtk-$pkgver - - # Suppress a *lot* of gcc 4.8 warnings - CPPFLAGS+=" -Wno-unused-local-typedefs" - - PYTHON=/usr/bin/python2 ./configure --prefix=/usr \ - --libexecdir=/usr/lib/$pkgname \ - --enable-introspection \ - --disable-webkit2 \ - --with-gstreamer=0.10 \ - --with-gtk=2.0 - - # https://bugzilla.gnome.org/show_bug.cgi?id=655517 - sed -i 's/ -shared / -Wl,-O1,--as-needed\0/g' libtool - - make all stamp-po -} - -package() { - cd webkitgtk-$pkgver - make -j1 DESTDIR="$pkgdir" install - install -Dm644 Source/WebKit/LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" - rm -r "$pkgdir/usr/share/gtk-doc/html/webkitgtk" -} diff --git a/extra/webkitgtk2/bison3.patch b/extra/webkitgtk2/bison3.patch deleted file mode 100644 index 9c9dabb82..000000000 --- a/extra/webkitgtk2/bison3.patch +++ /dev/null @@ -1,11 +0,0 @@ -diff -u -r webkitgtk-1.10.2/Source/ThirdParty/ANGLE/src/compiler/glslang.y webkitgtk-1.10.2-bison3/Source/ThirdParty/ANGLE/src/compiler/glslang.y ---- webkitgtk-1.10.2/Source/ThirdParty/ANGLE/src/compiler/glslang.y 2012-11-23 21:12:16.000000000 +0100 -+++ webkitgtk-1.10.2-bison3/Source/ThirdParty/ANGLE/src/compiler/glslang.y 2013-10-12 20:42:54.531301735 +0200 -@@ -47,6 +47,7 @@ - %expect 1 /* One shift reduce conflict because of if | else */ - %pure-parser - %parse-param {TParseContext* context} -+%lex-param {YYLEX_PARAM} - - %union { - struct { -- cgit v1.2.3-54-g00ecf