diff options
author | Evgeny Cherkashin | 2019-11-20 14:22:31 +0800 |
---|---|---|
committer | Evgeny Cherkashin | 2019-11-20 14:22:31 +0800 |
commit | d3977ea806121c5ab1264c186a726da23697e878 (patch) | |
tree | bce2ff19491cb2a5c4afceebeb388784705c5c57 | |
parent | 7077d9d4e491920c5a6627199c1605842679de5c (diff) | |
download | aur-d3977ea806121c5ab1264c186a726da23697e878.tar.gz |
New vesion of LogTalk. Corrected messages in installs.
-rw-r--r-- | PKGBUILD | 11 | ||||
-rw-r--r-- | logtalk.install | 4 |
2 files changed, 7 insertions, 8 deletions
@@ -1,9 +1,8 @@ # Maintainer: Ebrahim Azarisooreh <ebrahim.azarisooreh@gmail.com> -_pkgnum=3250 pkgname=logtalk -pkgver=3.25.0 -pkgrel=1 +pkgver=3.32.0 +pkgrel=3 pkgdesc='Object-Oriented Logic Programming Language' arch=('x86_64' 'i686') url='http://logtalk.org/' @@ -15,8 +14,8 @@ optdepends=( 'gprolog: Prolog backend for logtalk' 'yap: Prolog backend for logtalk' ) -source=("https://github.com/LogtalkDotOrg/logtalk3/archive/lgt${_pkgnum}stable.tar.gz") -sha256sums=('8a185f4a6dbc3b0b322595d82f194bbd397ca70dc772af5ac62694e741ee1270') +source=("https://logtalk.org/files/logtalk-${pkgver}.tar.bz2") +sha256sums=('ef2a218b82d1013f17236148f151b79a6a03ac9b7b34b27bcffc53e98bc6bac6') conflicts=() provides=('logtalk') install=logtalk.install @@ -27,7 +26,7 @@ package() { mkdir -p "$LOGTALKPREFIX" mkdir -p "$pkgdir/usr/bin" - cd "logtalk3-lgt${_pkgnum}stable" + cd "logtalk-${pkgver}" scripts/install.sh -p "$LOGTALKPREFIX" > /dev/null 2>&1 diff --git a/logtalk.install b/logtalk.install index c74c10db27b2..cd906e2b3487 100644 --- a/logtalk.install +++ b/logtalk.install @@ -2,7 +2,7 @@ post_install() { echo "" echo "Finish these last three steps in order to complete this installation:" echo "" - echo "1) Ensure that the lines below are in your \`.bashrc\`.": + echo "1) Ensure that the lines below are in your \`~/.bashrc\`.": echo "" echo "LOGTALKHOME=/usr/lib/logtalk/share/logtalk" echo "LOGTALKUSER=\$HOME/logtalk" @@ -21,7 +21,7 @@ post_upgrade() { echo "" echo "Finish these last three steps in order to complete this upgrade:" echo "" - echo "1) Ensure that the lines below are in your \`.bashrc\`.": + echo "1) Ensure that the lines below are in your \`~/.bashrc\`.": echo "" echo "LOGTALKHOME=/usr/lib/logtalk/share/logtalk" echo "LOGTALKUSER=\$HOME/logtalk" |