blob: 2a591311596342c794b564462b63e8ca261a67be (
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
|
# $Id: PKGBUILD 191281 2013-07-23 09:52:37Z jgc $
# Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com>
# Contributor: Jan de Groot <jgc@archlinux.org>
# Contributor: Link Dupont <link@subpop.net>
pkgname=devhelp
pkgver=3.8.2
pkgrel=2
pkgdesc="API documentation browser for GNOME"
arch=(i686 x86_64 'mips64el')
license=(GPL)
url="http://live.gnome.org/devhelp/"
depends=(webkitgtk3 hicolor-icon-theme)
makedepends=(pkgconfig intltool python)
options=('!libtool' '!emptydirs')
install=devhelp.install
groups=('gnome-extra')
source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz)
sha256sums=('a245b53824c6f2ff89245ff807bb2140bde74951ea6f1d759a0fd0c6959ca9f7')
build() {
cd $pkgname-$pkgver
./configure --prefix=/usr --sysconfdir=/etc \
--localstatedir=/var --disable-static \
--with-webkit2
make
}
package() {
cd $pkgname-$pkgver
make DESTDIR="${pkgdir}" install
}
|
