blob: cd945f2cb891651ae04a39cd15926b9af041bdb0 (
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
|
# Maintainer: Morris Jobke <hey at morrisjobke dot de>
# Contributor: alucryd <alucryd at gmail dot com>
pkgname=gnome-shell-extension-mediaplayer-git
pkgver=3.10.r445.2b62dc0
pkgrel=1
pkgdesc='A mediaplayer indicator for the Gnome Shell'
arch=('any')
url='https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer'
license=('GPL2')
depends=('gnome-shell')
makedepends=('git' 'gnome-common' 'intltool')
optdepends=('mpdris2-git: MPD support')
install=${pkgname%-*}.install
source=("${pkgname%-*}::git+${url}.git")
sha256sums=('SKIP')
pkgver() {
cd ${pkgname%-*}
printf "3.10.r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd ${pkgname%-*}
./autogen.sh
./configure --prefix='/usr' --disable-schemas-compile
make
}
package() {
cd ${pkgname%-*}
make DESTDIR="${pkgdir}" install
}
# vim: ts=2 sw=2 et:
|