summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorBrecht Serckx2018-10-08 15:39:01 +0200
committerBrecht Serckx2018-10-08 15:39:01 +0200
commit675d4f488db31787ad51e8a6d6302de5db70c6c3 (patch)
treef7dc156097b5fa902a23416229084e5532b3bd50 /PKGBUILD
parentbc507460346eaf1a49089dad6619580169d1597d (diff)
downloadaur-idp.tar.gz
3.7.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD15
1 files changed, 6 insertions, 9 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9474ba156f6f..93b01b92e6c9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
}