diff options
Diffstat (limited to 'extra/gdome2/PKGBUILD')
-rw-r--r-- | extra/gdome2/PKGBUILD | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/extra/gdome2/PKGBUILD b/extra/gdome2/PKGBUILD new file mode 100644 index 000000000..b51c8539a --- /dev/null +++ b/extra/gdome2/PKGBUILD @@ -0,0 +1,21 @@ +# $Id: PKGBUILD 42368 2009-06-13 12:47:50Z jgc $ +# Maintainer: Jan de Groot <jgc@archlinux.org> + +pkgname=gdome2 +pkgver=0.8.1 +pkgrel=2 +pkgdesc="Gnome DOM Engine" +url="http://gdome2.cs.unibo.it/" +arch=('i686' 'x86_64') +license=('LGPL') +depends=('libxml2>=2.7.3' 'glib2>=2.20.3') +options=(!libtool) +source=(http://gdome2.cs.unibo.it/tarball/${pkgname}-${pkgver}.tar.gz) +md5sums=('bfc114e59eec50cbda8e4ece751ff022') + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + ./configure --prefix=/usr --mandir=/usr/share/man || return 1 + make || return 1 + make DESTDIR="${pkgdir}" install || return 1 +} |