summaryrefslogtreecommitdiff
path: root/extra/gmetadom/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'extra/gmetadom/PKGBUILD')
-rw-r--r--extra/gmetadom/PKGBUILD26
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
+}