diff options
Diffstat (limited to 'community/gnome-do-docklets/PKGBUILD')
-rw-r--r-- | community/gnome-do-docklets/PKGBUILD | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/community/gnome-do-docklets/PKGBUILD b/community/gnome-do-docklets/PKGBUILD new file mode 100644 index 000000000..6031edbef --- /dev/null +++ b/community/gnome-do-docklets/PKGBUILD @@ -0,0 +1,25 @@ +# $Id: PKGBUILD 82 2009-07-17 19:56:55Z aaron $ +# Maintainer: Kessia 'even' Pinheiro <kessiapinheiro at gmail.com> +pkgname=gnome-do-docklets +pkgver=0.8.2 +pkgrel=1 +pkgdesc="GNOME Do Docky docklets" +arch=('i686' 'x86_64') +url="http://do.davebsd.com/" +license=('GPL3') +depends=('gnome-do>=0.8.2') +makedepends=('intltool' 'pkgconfig' 'monodevelop') +source=(http://code.edge.launchpad.net/do-plugins/0.8/0.8.2/+download/${pkgname}-${pkgver}.tar.gz) +build() { + export MONO_SHARED_DIR=$srcdir/.wabi + mkdir -p "${MONO_SHARED_DIR}" + + cd $srcdir/$pkgname-$pkgver + + ./configure --prefix=/usr + make || return 1 + make DESTDIR="$pkgdir" install || return 1 + + rm -rf ${pkgdir}/usr/share/gnome-do/plugins/*.mdb +} +md5sums=('977b494af7cd46438f406cdf2fe79c90') |