blob: 15b3cc7f4fbb40939b469a3322c8051a93c726cb (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
# Maintainer: Rene Hickersberger <r@renehsz.com>
# Maintainer: White-Oak <lpzhelud@gmail.com>
# Maintainer: Solomon Choina <shlomochoina@gmail.com>
pkgname=servo-latest
_pkgname=servo
pkgver=r20231113
pkgrel=1
pkgdesc="A modern, high-performance browser engine being developed for application and embedded use"
arch=('x86_64')
url="https://download.servo.org/"
license=('custom:Mozilla Public License v2.0')
provides=('servo')
conflicts=('servo')
depends=('gst-plugins-bad' 'libunwind')
sha256sums=('SKIP'
'5dcb8790a243b850995fd1e9ebd3a8b47a9266a96e266891571934a3fcf9a578'
'3db78572e8657cca9e9446ce56a057b8a981eb41af318c49a5fe08e7a10fa52a')
source=(
"https://download.servo.org/nightly/linux/servo-latest.tar.gz"
"Servo.desktop"
"LICENSE"
)
pkgver(){
time=$(curl -s -v -X HEAD "https://download.servo.org/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 -Dm755 "$srcdir/Servo.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop"
install -dm755 "$pkgdir/usr/share/licenses/$pkgname/"
install -m644 "$srcdir/LICENSE" "$pkgdir/usr/share/licenses/$pkgname/"
install -dm755 "$pkgdir/usr/lib/servo"
chmod -R 755 "$srcdir/servo"
cp -r "$srcdir/servo" "$pkgdir/usr/lib/"
install -d "$pkgdir/etc/profile.d"
echo 'export PATH=$PATH:/usr/lib/servo' > "$pkgdir/etc/profile.d/${_pkgname}.sh"
echo 'setenv PATH ${PATH}:/usr/lib/servo' > "$pkgdir/etc/profile.d/${_pkgname}.csh"
chmod 755 "$pkgdir/etc/profile.d/${_pkgname}".{csh,sh}
# Install a wrapper to avoid confusion about binary path
install -Dm755 /dev/stdin "$pkgdir/usr/bin/servo" <<END
#!/bin/sh
exec /usr/lib/servo/servo "\$@"
END
}
|