PKGBUILDs/extra/gnome-device-manager/PKGBUILD
2009-10-09 21:23:22 -05:00

26 lines
871 B
Bash

# $Id: PKGBUILD 49988 2009-08-18 09:14:32Z 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)
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
}