blob: 373a5d1a6ffd4495433e10fa3853ac468f4e0182 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
# Maintainer: White-Oak <lpzhelud@gmail.com>
pkgname=servo-latest
pkgver=r20160705
pkgrel=1
pkgdesc="A modern, high-performance browser engine being developed for application and embedded use"
arch=('x86_64')
url="https://servo-builds.s3.amazonaws.com/index.html"
license=('unknown')
provides=('servo')
conflicts=('servo')
makedepends=('gendesk')
md5sums=('SKIP')
source=("https://servo-builds.s3.amazonaws.com/nightly/linux/servo-latest.tar.gz")
prepare(){
gendesk -f --pkgname "Servo" --pkgdesc "$pkgdesc" --exec '/opt/servo/servo -w -b --pref dom.mozbrowser.enabled --pref dom.forcetouch.enabled --pref shell.builtin-key-shortcuts.enabled=false /opt/servo/build/browserhtml-3e3805f69808f24d/out/index.html'
}
pkgver(){
time=$(curl -s -v -X HEAD "https://servo-builds.s3.amazonaws.com/nightly/linux/servo-latest.tar.gz" 2>&1\
| grep '^< Last-Modified:'\
| sed -n -e 's/^< Last-Modified: //p')
date --date="$time" +r%Y%m%d
}
package() {
install -Dm644 "Servo.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop"
install -d "$pkgdir/opt/servo"
cp -r "servo" "$pkgdir/opt"
}
|