diff options
Diffstat (limited to 'extra/gmetadom/PKGBUILD')
-rw-r--r-- | extra/gmetadom/PKGBUILD | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/extra/gmetadom/PKGBUILD b/extra/gmetadom/PKGBUILD new file mode 100644 index 000000000..64be3c3b7 --- /dev/null +++ b/extra/gmetadom/PKGBUILD @@ -0,0 +1,26 @@ +# $Id: PKGBUILD 37443 2009-05-01 20:50:35Z giovanni $ +# Maintainer: Giovanni Scafora <giovanni@archlinux.org> +# Contributor: Jan de Groot <jgc@archlinux.org> + +pkgname=gmetadom +pkgver=0.2.6 +pkgrel=2 +pkgdesc="C++ bindings for GDome2 DOM implementation" +arch=('i686' 'x86_64') +url="http://gmetadom.sourceforge.net/" +license=('LGPL') +depends=('gdome2') +makedepends=('pkgconfig' 'ocaml') +options=('!libtool' '!makeflags') +source=(http://downloads.sourceforge.net/sourceforge/${pkgname}/${pkgname}-${pkgver}.tar.gz + gmetadom-0.2.6-gcc43.patch) +md5sums=('7bfb5d9c6f20ffa5e790b63d1f8cb481' + 'ea0271007f8650733029327823353d0d') + +build() { + cd ${srcdir}/${pkgname}-${pkgver} + patch -Np1 -i ${srcdir}/gmetadom-0.2.6-gcc43.patch || return 1 + ./configure --prefix=/usr + make || return 1 + make DESTDIR=${pkgdir}/ install +} |