summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEbrahim Azarisooreh2017-08-17 23:38:03 -0700
committerEbrahim Azarisooreh2017-08-17 23:38:03 -0700
commitd5a979336b0ba30cb314408e2a6a34c4b89ea1c7 (patch)
tree999e9290e74d7e67f1164ea65f700110242dd8bf
parent315012dd99c42578a18e464a9276806735667c2a (diff)
downloadaur-d5a979336b0ba30cb314408e2a6a34c4b89ea1c7.tar.gz
v3.11.1-2
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD12
-rw-r--r--logtalk.install7
3 files changed, 15 insertions, 9 deletions
diff --git a/.SRCINFO b/.SRCINFO
index babc2077ec11..ffe563cdf7ab 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index c2a9328d308e..3ddb1475ad26 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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\`"
}