diff options
Diffstat (limited to 'gnome/gnome-device-manager/Pkgfile')
| -rw-r--r-- | gnome/gnome-device-manager/Pkgfile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnome/gnome-device-manager/Pkgfile b/gnome/gnome-device-manager/Pkgfile new file mode 100644 index 000000000..b157e3736 --- /dev/null +++ b/gnome/gnome-device-manager/Pkgfile @@ -0,0 +1,18 @@ +# Description: Gestionnaire des périphériques pour GNOME +# URL: http://www.gnome.org +# Maintainer: NuTyX core team +# Packager: thierryn1 at hispeed dot ch +# Depends on: hal, hicolor-icon-theme, libgnomeui, gnome-doc-utils + +name=gnome-device-manager +version=0.2 +release=1 +source=(http://hal.freedesktop.org/releases/$name-$version.tar.bz2) +build() { + cd $name-$version + ./configure --prefix=$GNOME_PREFIX \ + --localstatedir=/var --disable-scrollkeeper \ + --disable-static + make + make DESTDIR=$PKG install +} |