diff options
author | Ebrahim Azarisooreh | 2017-08-17 23:38:03 -0700 |
---|---|---|
committer | Ebrahim Azarisooreh | 2017-08-17 23:38:03 -0700 |
commit | d5a979336b0ba30cb314408e2a6a34c4b89ea1c7 (patch) | |
tree | 999e9290e74d7e67f1164ea65f700110242dd8bf | |
parent | 315012dd99c42578a18e464a9276806735667c2a (diff) | |
download | aur-d5a979336b0ba30cb314408e2a6a34c4b89ea1c7.tar.gz |
v3.11.1-2
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 12 | ||||
-rw-r--r-- | logtalk.install | 7 |
3 files changed, 15 insertions, 9 deletions
@@ -1,8 +1,9 @@ pkgbase = logtalk - pkgdesc = Prolog OOP extension and frontend compiler - stable + pkgdesc = Object-Oriented Logic Programming Language pkgver = 3.11.1 - pkgrel = 1 + pkgrel = 2 url = http://logtalk.org/ + install = logtalk.install arch = x86_64 arch = i686 license = APACHE @@ -3,16 +3,18 @@ _pkgnum=3111 pkgname=logtalk pkgver=3.11.1 -pkgrel=1 -pkgdesc='Logtalk OOP extension and prolog frontend compiler - stable' +pkgrel=2 +pkgdesc='Object-Oriented Logic Programming Language' arch=('x86_64' 'i686') url='http://logtalk.org/' license=('APACHE') depends=('') makedepends=('') -optdepends=('swi-prolog: Prolog environment' - 'gprolog: GNU Prolog' - 'yap: A prolog backend') +optdepends=( + 'swi-prolog: Prolog environment' + 'gprolog: GNU Prolog' + 'yap: A prolog backend' +) source=("https://github.com/LogtalkDotOrg/logtalk3/archive/lgt${_pkgnum}stable.tar.gz") sha256sums=('ae3829fede61125ab5ea2aefc5fe03a0a46ceee1f3fca75fe8a484272630bb20') conflicts=('') diff --git a/logtalk.install b/logtalk.install index 2976b14d33a1..e4b4611bc991 100644 --- a/logtalk.install +++ b/logtalk.install @@ -1,8 +1,8 @@ post_install() { echo "" - echo "NOTE: You MUST run \`/usr/lib/logtalk/bin/logtalk_user_setup\` to complete this installation." + echo "Finish these last three steps in order to complete this installation:" echo "" - echo "Also, If you haven't already, add the lines below to your \`.profile\`, \`.bash_profile\`, or \`.bashrc\`.": + echo "1) Ensure that the lines below are in your \`.bashrc\`.": echo "" echo "LOGTALKHOME=/usr/lib/logtalk/share/logtalk" echo "LOGTALKUSER=\$HOME/logtalk" @@ -11,4 +11,7 @@ post_install() { echo "export LOGTALKHOME LOGTALKUSER PATH MANPATH" echo "-----------------------------------------------------------------------------------------------------------------" echo "" + echo "2) run \`source ~/.bashrc\`" + echo "" + echo "3) run \`/usr/lib/logtalk/bin/logtalk_user_setup\`" } |