diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-29 19:53:05 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-29 19:53:05 -0500 |
| commit | cae0d0107634025368d4b275bcd10910e2a8f14e (patch) | |
| tree | b5ce4a150a8d4c87def3071e79ab6fec124bcd6a | |
| parent | 417762e6032fff89cf4489f55a7cf2f59bc17ea0 (diff) | |
netsurf: minor fix
| -rw-r--r-- | libre/netsurf/PKGBUILD | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/libre/netsurf/PKGBUILD b/libre/netsurf/PKGBUILD index 757084ec0..fd1f3be50 100644 --- a/libre/netsurf/PKGBUILD +++ b/libre/netsurf/PKGBUILD @@ -26,7 +26,10 @@ sha256sums=('23f92a0940f577b9605f2e54786fea3521680d32d6c00f2a3db1eae3f29e3686' prepare() { cd "$pkgname-$pkgver" - patch -Np1 -i "$srcdir/netsurf-remove_webp.patch" + + if [ "$CARCH" == "armv7h" ]; then + patch -Np1 -i "$srcdir/netsurf-remove_webp.patch" + fi # remove non-privacy search engines sed -i '\|Google|d @@ -100,10 +103,16 @@ prepare() { } build() { + if [ "$CARCH" == "armv7h" ]; then + extra="NETSURF_USE_WEBP=NO" + else + extra="NETSURF_USE_WEBP=YES" + fi + make -C "$pkgname-$pkgver" \ PREFIX=/usr \ TARGET=gtk \ - NETSURF_USE_WEBP=NO \ + $extra \ NETSURF_USE_VIDEO=NO \ NETSURF_USE_JS=NO \ NETSURF_USE_MOZJS=NO # Javascript is disabled, for now. See FS#41582 |