diff options
author | Giovanni Santini | 2018-08-12 15:38:32 +0200 |
---|---|---|
committer | Giovanni Santini | 2018-08-12 15:38:32 +0200 |
commit | a3f9d5e01c314a8e039cbb39c3b49b66557efb03 (patch) | |
tree | d84735853be5f04a93f1498d2e5d14b0dc5e5bb4 | |
parent | a04d17068974cee4d566f5ce7d7025914756116d (diff) | |
download | aur-a3f9d5e01c314a8e039cbb39c3b49b66557efb03.tar.gz |
upgpkg: webkit2gtk-mse 2.20.4-2
- PKGBUILD cleanups.
- Changes in building.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 22 |
2 files changed, 11 insertions, 13 deletions
@@ -1,7 +1,7 @@ pkgbase = webkit2gtk-mse pkgdesc = GTK+ Web content engine library - MSE enabled pkgver = 2.20.4 - pkgrel = 1 + pkgrel = 2 url = https://webkitgtk.org/ arch = i686 arch = x86_64 @@ -1,11 +1,10 @@ -# $Id$ # Maintainer: Giovanni 'ItachiSan' Santini <giovannisantini93@yahoo.it> # Contributor: Eric BĂ©langer <eric@archlinux.org> pkgname=webkit2gtk-mse _pkgname=webkit2gtk pkgver=2.20.4 -pkgrel=1 +pkgrel=2 pkgdesc="GTK+ Web content engine library - MSE enabled" arch=(i686 x86_64) url="https://webkitgtk.org/" @@ -44,10 +43,8 @@ build() { -DPYTHON_EXECUTABLE=/usr/bin/python2 \ -DENABLE_MEDIA_SOURCE=ON \ ../webkitgtk-$pkgver - # Small issue happening when building, see: https://github.com/NixOS/nixpkgs/issues/37878 - # Thanks for the workaround! - make JavaScriptCoreForwardingHeaders WTFForwardingHeaders - # Now build as usual + + # Build everything make } @@ -55,10 +52,11 @@ package() { DESTDIR="$pkgdir" make -C build install cd webkitgtk-$pkgver - find Source -name 'COPYING*' -or -name 'LICENSE*' -print0 | while IFS= read -d $'\0' -r _f - do - echo "### $_f ###" - cat "$_f" - echo - done | install -Dm644 /dev/stdin "$pkgdir/usr/share/licenses/$pkgname/LICENSE" + find Source -name 'COPYING*' -or -name 'LICENSE*' -print0 | sort -z | + while IFS= read -d $'\0' -r _f; do + echo "### $_f ###" + cat "$_f" + echo + done | + install -Dm644 /dev/stdin "$pkgdir/usr/share/licenses/$pkgname/LICENSE" } |