extra/gnome-device-manager/PKGBUILD


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

# $Id: PKGBUILD 49923 2009-08-16 21:34:36Z jgc $
# Maintainer: Jan de Groot <jgc@archlinux.org>

pkgname=gnome-device-manager
pkgver=0.2
pkgrel=2
pkgdesc="GNOME Device Manager, replaces hal-device-manager"
arch=(i686 x86_64 'mips64el')
license=('GPL')
depends=('libgnomeui>=2.24.1' 'hal>=0.5.11' 'hicolor-icon-theme')
makedepends=('intltool' 'pkgconfig' 'gnome-doc-utils>=0.16.0')
replaces=('hal-device-manager')
options=('!libtool' '!emptydirs')
install=gnome-device-manager.install
url="http://www.gnome.org"
source=(http://hal.freedesktop.org/releases/${pkgname}-${pkgver}.tar.bz2)
md5sums=('b833a90c940dd6cc992c42ad05ca6831')

build() {
  cd "${srcdir}/${pkgname}-${pkgver}"
  ./configure --prefix=/usr --sysconfdir=/etc \
      --localstatedir=/var --disable-scrollkeeper \
      --disable-static || return 1
  make || return 1
  make DESTDIR="${pkgdir}" install || return 1
}