v3.11.1-3

3 files changed, 45 insertions, 12 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ffe563cdf7ab..4f2dd266512e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
 pkgbase = logtalk
 	pkgdesc = Object-Oriented Logic Programming Language
 	pkgver = 3.11.1
-	pkgrel = 2
+	pkgrel = 3
 	url = http://logtalk.org/
 	install = logtalk.install
 	arch = x86_64
 	arch = i686
 	license = APACHE
-	optdepends = swi-prolog: Prolog environment
-	optdepends = gprolog: GNU Prolog
-	optdepends = yap: A prolog backend
+	optdepends = swi-prolog: Prolog backend for logtalk
+	optdepends = gprolog: Prolog backend for logtalk
+	optdepends = yap: Prolog backend for logtalk
 	provides = logtalk
 	source = https://github.com/LogtalkDotOrg/logtalk3/archive/lgt3111stable.tar.gz
 	sha256sums = ae3829fede61125ab5ea2aefc5fe03a0a46ceee1f3fca75fe8a484272630bb20
diff --git a/PKGBUILD b/PKGBUILD
index 3ddb1475ad26..c7cdf7243a80 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,21 +3,21 @@
 _pkgnum=3111
 pkgname=logtalk
 pkgver=3.11.1
-pkgrel=2
+pkgrel=3
 pkgdesc='Object-Oriented Logic Programming Language'
 arch=('x86_64' 'i686')
 url='http://logtalk.org/'
 license=('APACHE')
-depends=('')
-makedepends=('')
+depends=()
+makedepends=()
 optdepends=(
-	'swi-prolog: Prolog environment'
-	'gprolog: GNU Prolog'
-	'yap: A prolog backend'
+	'swi-prolog: Prolog backend for logtalk'
+	'gprolog: Prolog backend for logtalk'
+	'yap: Prolog backend for logtalk'
 )
 source=("https://github.com/LogtalkDotOrg/logtalk3/archive/lgt${_pkgnum}stable.tar.gz")
 sha256sums=('ae3829fede61125ab5ea2aefc5fe03a0a46ceee1f3fca75fe8a484272630bb20')
-conflicts=('')
+conflicts=()
 provides=('logtalk')
 install=logtalk.install
 
diff --git a/logtalk.install b/logtalk.install
index e4b4611bc991..0f29be8510f8 100644
--- a/logtalk.install
+++ b/logtalk.install
@@ -6,7 +6,7 @@ post_install() {
 	echo ""
 	echo "LOGTALKHOME=/usr/lib/logtalk/share/logtalk"
 	echo "LOGTALKUSER=\$HOME/logtalk"
-	echo "PATH=\$PATH:\$LOGTALKHOME/tools/lgtdoc/xml:\$LOGTALKHOME/scripts:\$LOGTALKHOME/integration:\$HOME/bin"
+	echo "PATH=\$PATH:\$LOGTALKHOME/tools/lgtdoc/xml:\$LOGTALKHOME/scripts:\$LOGTALKHOME/integration"
 	echo "MANPATH=\$MANPATH:\$LOGTALKHOME/man"
 	echo "export LOGTALKHOME LOGTALKUSER PATH MANPATH"
 	echo "-----------------------------------------------------------------------------------------------------------------"
@@ -14,4 +14,37 @@ post_install() {
 	echo "2) run \`source ~/.bashrc\`"
 	echo ""
 	echo "3) run \`/usr/lib/logtalk/bin/logtalk_user_setup\`"
+	echo ""
+}
+
+post_upgrade() {
+	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 ""
+	echo "LOGTALKHOME=/usr/lib/logtalk/share/logtalk"
+	echo "LOGTALKUSER=\$HOME/logtalk"
+	echo "PATH=\$PATH:\$LOGTALKHOME/tools/lgtdoc/xml:\$LOGTALKHOME/scripts:\$LOGTALKHOME/integration"
+	echo "MANPATH=\$MANPATH:\$LOGTALKHOME/man"
+	echo "export LOGTALKHOME LOGTALKUSER PATH MANPATH"
+	echo "-----------------------------------------------------------------------------------------------------------------"
+	echo ""
+	echo ""
+	echo "2) run \`source ~/.bashrc\`"
+	echo ""
+	echo "3) run \`/usr/lib/logtalk/bin/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 ""
+}
+
+post_remove() {
+	echo ""
+	echo "Finish these last two steps in order to complete this installation:"
+	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 ""
+	echo "2) Remove all Logtalk PATH variables from your \`.bashrc\`."
+	echo ""
 }