diff options
author | Brecht Serckx | 2018-10-08 15:39:01 +0200 |
---|---|---|
committer | Brecht Serckx | 2018-10-08 15:39:01 +0200 |
commit | 675d4f488db31787ad51e8a6d6302de5db70c6c3 (patch) | |
tree | f7dc156097b5fa902a23416229084e5532b3bd50 /PKGBUILD | |
parent | bc507460346eaf1a49089dad6619580169d1597d (diff) | |
download | aur-idp.tar.gz |
3.7.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 15 |
1 files changed, 6 insertions, 9 deletions
@@ -1,21 +1,21 @@ # Maintainer: DenBrahe <denbrahe at hotmail dot com> # Contributor: Knowledge Representation and Reasoning research group, KU Leuven -_major_version=3.6 -_minor_version=0 +_major_version=3.7 +_minor_version=1 pkgname=idp pkgver=${_major_version}.${_minor_version} -pkgrel=4 +pkgrel=1 pkgdesc="Knowledge Base System" arch=('i686' 'x86_64') url="http://dtai.cs.kuleuven.be/software/idp" license=('LGPL3') install=idp.install depends=('sh') -md5sums=('6d521d83bf5b7516c00f34c7e5f369bd') +md5sums=('d46527d328da520d5096ee58a7bc0407') -_dirname="$pkgname-${_major_version}.${_minor_version}-Linux" +_dirname="${pkgname}3-${_major_version}.${_minor_version}-Linux" source=("https://dtai.cs.kuleuven.be/krr/files/releases/$pkgname/${_major_version}.${_minor_version}/${_dirname}.tar.gz") @@ -24,10 +24,7 @@ package() { cd ${srcdir} rm ${_dirname}.tar.gz - targetdir=${pkgdir}/opt/idp + targetdir=${pkgdir}/ mkdir -p ${targetdir} cp -dR ./${_dirname}/* ${targetdir}/ - - mkdir -p "${pkgdir}/usr/bin" - ln -s "/opt/idp/bin/idp" "${pkgdir}/usr/bin/idp" } |