summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEbrahim Azarisooreh2017-08-18 15:36:12 -0700
committerEbrahim Azarisooreh2017-08-18 15:36:12 -0700
commite76e983e77fd24c3ff35a14c9981e87022575114 (patch)
treed7481e967d50e62c048da4fc97f1b6486991483e
parent663f493dea89c9d56fec7891a9192347bb546e2d (diff)
downloadaur-e76e983e77fd24c3ff35a14c9981e87022575114.tar.gz
v3.11.1-4
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD13
2 files changed, 10 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4f2dd266512e..9f8025d9c7b7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index c7cdf7243a80..ee414c34b7bd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
}