diff options
author | Ebrahim Azarisooreh | 2017-08-18 15:36:12 -0700 |
---|---|---|
committer | Ebrahim Azarisooreh | 2017-08-18 15:36:12 -0700 |
commit | e76e983e77fd24c3ff35a14c9981e87022575114 (patch) | |
tree | d7481e967d50e62c048da4fc97f1b6486991483e | |
parent | 663f493dea89c9d56fec7891a9192347bb546e2d (diff) | |
download | aur-e76e983e77fd24c3ff35a14c9981e87022575114.tar.gz |
v3.11.1-4
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 13 |
2 files changed, 10 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = logtalk pkgdesc = Object-Oriented Logic Programming Language pkgver = 3.11.1 - pkgrel = 3 + pkgrel = 4 url = http://logtalk.org/ install = logtalk.install arch = x86_64 @@ -3,7 +3,7 @@ _pkgnum=3111 pkgname=logtalk pkgver=3.11.1 -pkgrel=3 +pkgrel=4 pkgdesc='Object-Oriented Logic Programming Language' arch=('x86_64' 'i686') url='http://logtalk.org/' @@ -23,12 +23,17 @@ install=logtalk.install package() { - LOGTALKHOME="$pkgdir/usr/lib/$pkgname" - mkdir -p "$LOGTALKHOME" + LOGTALKPREFIX="$pkgdir/usr/lib/$pkgname" + mkdir -p "$LOGTALKPREFIX" + mkdir -p "$pkgdir/usr/bin" cd "logtalk3-lgt${_pkgnum}stable" - scripts/install.sh -p "$LOGTALKHOME" > /dev/null 2>&1 + scripts/install.sh -p "$LOGTALKPREFIX" > /dev/null 2>&1 + + for file in $LOGTALKPREFIX/bin/*; do + cp $file $pkgdir/usr/bin + done install -Dm 644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE" } |