mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-08 22:45:43 +00:00
extra/webkitgtk fix
This commit is contained in:
parent
49c78b424a
commit
cfeb7baeab
1 changed files with 3 additions and 3 deletions
|
@ -3,7 +3,7 @@
|
||||||
|
|
||||||
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
|
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
|
||||||
# - use --disable-jit to solve segfaults
|
# - use --disable-jit to solve segfaults
|
||||||
# - use --disable-gtk-doc-html to solve html docs breaking the build
|
# - use --disable-gtk-doc to solve html docs breaking the build
|
||||||
|
|
||||||
pkgbase=webkitgtk
|
pkgbase=webkitgtk
|
||||||
pkgname=(webkitgtk webkitgtk2)
|
pkgname=(webkitgtk webkitgtk2)
|
||||||
|
@ -40,7 +40,7 @@ _build() (
|
||||||
|
|
||||||
../$pkgbase-$pkgver/configure --prefix=/usr \
|
../$pkgbase-$pkgver/configure --prefix=/usr \
|
||||||
--libexecdir=/usr/lib/webkit${_ver} \
|
--libexecdir=/usr/lib/webkit${_ver} \
|
||||||
--enable-introspection --disable-jit --disable-gtk-doc-html \
|
--enable-introspection --disable-jit \
|
||||||
"$@"
|
"$@"
|
||||||
|
|
||||||
# https://bugzilla.gnome.org/show_bug.cgi?id=655517
|
# https://bugzilla.gnome.org/show_bug.cgi?id=655517
|
||||||
|
@ -52,7 +52,7 @@ _build() (
|
||||||
build() {
|
build() {
|
||||||
PATH="$srcdir/path:$PATH"
|
PATH="$srcdir/path:$PATH"
|
||||||
|
|
||||||
_build gtk --enable-gtk-doc
|
_build gtk --disable-gtk-doc
|
||||||
_build gtk2 --disable-webkit2 --with-gtk=2.0
|
_build gtk2 --disable-webkit2 --with-gtk=2.0
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue