diff options
Diffstat (limited to 'community/gnome-do-docklets/PKGBUILD')
-rw-r--r-- | community/gnome-do-docklets/PKGBUILD | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/community/gnome-do-docklets/PKGBUILD b/community/gnome-do-docklets/PKGBUILD deleted file mode 100644 index 278a99793..000000000 --- a/community/gnome-do-docklets/PKGBUILD +++ /dev/null @@ -1,25 +0,0 @@ -# $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' 'mips64el') -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') |