diff options
Diffstat (limited to 'extra/virtuoso/PKGBUILD')
-rw-r--r-- | extra/virtuoso/PKGBUILD | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/extra/virtuoso/PKGBUILD b/extra/virtuoso/PKGBUILD new file mode 100644 index 000000000..db2433971 --- /dev/null +++ b/extra/virtuoso/PKGBUILD @@ -0,0 +1,38 @@ +# $Id $ +# Maintainer: Andrea Scarpino <andrea@archlinux.org> +# Contributor: Massimiliano Torromeo <massimiliano DOT torromeo AT google mail service> + +pkgname=virtuoso +pkgver=6.1.2 +pkgrel=1 +arch=('i686' 'x86_64') +pkgdesc='A scalable cross-platform server that combines SQL/RDF/XML Data Management with Web Application Server and Web Services Platform functionality' +url='http://virtuoso.openlinksw.com/wiki/main/Main/' +license=('GPL') +depends=('openssl') +makedepends=('bison' 'flex') +options=('!libtool' '!makeflags') +source=("http://downloads.sourceforge.net/${pkgname}/${pkgname}-opensource-${pkgver}.tar.gz") +md5sums=('0519e1f104428e0c8b25fad89e3c57ef') + +build() { + cd ${srcdir}/${pkgname}-opensource-${pkgver} + + ./configure --prefix=/usr \ + --localstatedir=/var \ + --sysconfdir=/etc \ + --disable-rendezvous \ + --disable-hslookup \ + --disable-all-vads + make +} + +package() { + # install server + cd ${srcdir}/${pkgname}-opensource-${pkgver}/binsrc/virtuoso + make DESTDIR=${pkgdir} install + + # install driver + cd ${srcdir}/${pkgname}-opensource-${pkgver}/binsrc/driver + make DESTDIR=${pkgdir} install +} |