summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEbrahim Azarisooreh2017-08-18 16:16:26 -0700
committerEbrahim Azarisooreh2017-08-18 16:16:26 -0700
commit8b7c22348df94b603a6b25ad65e66c8fc1cac7c5 (patch)
tree5655aed7f23eb3895deb32087541b300250c0e84
parente76e983e77fd24c3ff35a14c9981e87022575114 (diff)
downloadaur-8b7c22348df94b603a6b25ad65e66c8fc1cac7c5.tar.gz
v3.11.1-5
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD4
-rw-r--r--logtalk.install8
3 files changed, 8 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 9f8025d9c7b7..04f85d40c9d1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
pkgbase = logtalk
pkgdesc = Object-Oriented Logic Programming Language
pkgver = 3.11.1
- pkgrel = 4
+ pkgrel = 5
url = http://logtalk.org/
install = logtalk.install
arch = x86_64
arch = i686
license = APACHE
+ depends = bash
optdepends = swi-prolog: Prolog backend for logtalk
optdepends = gprolog: Prolog backend for logtalk
optdepends = yap: Prolog backend for logtalk
diff --git a/PKGBUILD b/PKGBUILD
index ee414c34b7bd..16b6f30d1a5b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,12 +3,12 @@
_pkgnum=3111
pkgname=logtalk
pkgver=3.11.1
-pkgrel=4
+pkgrel=5
pkgdesc='Object-Oriented Logic Programming Language'
arch=('x86_64' 'i686')
url='http://logtalk.org/'
license=('APACHE')
-depends=()
+depends=('bash')
makedepends=()
optdepends=(
'swi-prolog: Prolog backend for logtalk'
diff --git a/logtalk.install b/logtalk.install
index 0f29be8510f8..c74c10db27b2 100644
--- a/logtalk.install
+++ b/logtalk.install
@@ -13,13 +13,13 @@ post_install() {
echo ""
echo "2) run \`source ~/.bashrc\`"
echo ""
- echo "3) run \`/usr/lib/logtalk/bin/logtalk_user_setup\`"
+ echo "3) run \`logtalk_user_setup\`"
echo ""
}
post_upgrade() {
echo ""
- echo "Finish these last three steps in order to complete this installation:"
+ 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 ""
@@ -33,7 +33,7 @@ post_upgrade() {
echo ""
echo "2) run \`source ~/.bashrc\`"
echo ""
- echo "3) run \`/usr/lib/logtalk/bin/logtalk_user_setup\`"
+ echo "3) run \`logtalk_user_setup\`"
echo ""
echo "IMPORTANT: Please remember to remove any \`logtalk-backup\` directories from your \$HOME path if you no longer need them."
echo ""
@@ -41,7 +41,7 @@ post_upgrade() {
post_remove() {
echo ""
- echo "Finish these last two steps in order to complete this installation:"
+ echo "Finish these last two steps in order to completely uninstall Logtalk:"
echo ""
echo "1) IMPORTANT: Please remember to remove the \`logtalk\` directory and any \`logtalk-backup\` variants from your \$HOME path to completely remove Logtalk from your system."
echo ""