diff options
Diffstat (limited to 'extra/virtuoso/PKGBUILD')
| -rw-r--r-- | extra/virtuoso/PKGBUILD | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/extra/virtuoso/PKGBUILD b/extra/virtuoso/PKGBUILD index 6d79cde5f..fb34b6640 100644 --- a/extra/virtuoso/PKGBUILD +++ b/extra/virtuoso/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 142435 2011-11-09 18:50:28Z andrea $ +# $Id: PKGBUILD 148047 2012-01-30 18:21:09Z andrea $ # Maintainer: Andrea Scarpino <andrea@archlinux.org> # Contributor: Massimiliano Torromeo <massimiliano DOT torromeo AT google mail service> pkgname=virtuoso pkgver=6.1.4 -pkgrel=1 +pkgrel=2 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/' @@ -35,4 +35,10 @@ package() { # install driver cd ${srcdir}/${pkgname}-opensource-${pkgver}/binsrc/driver make DESTDIR=${pkgdir} install + + # Install some useful tools; rename to avoid conflicts + for bin in isql isqlw; do + install -Dm755 ${srcdir}/${pkgname}-opensource-${pkgver}/binsrc/tests/$bin \ + ${pkgdir}/usr/bin/$bin-vt + done } |