diff options
author | Ebrahim Azarisooreh | 2017-08-17 22:24:06 -0700 |
---|---|---|
committer | Ebrahim Azarisooreh | 2017-08-17 22:24:06 -0700 |
commit | 315012dd99c42578a18e464a9276806735667c2a (patch) | |
tree | acd509604bed4cd7399c321ef1446d533de3cfe8 | |
download | aur-315012dd99c42578a18e464a9276806735667c2a.tar.gz |
v3.11.1
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | PKGBUILD | 32 | ||||
-rw-r--r-- | logtalk.install | 14 |
3 files changed, 63 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..babc2077ec11 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = logtalk + pkgdesc = Prolog OOP extension and frontend compiler - stable + pkgver = 3.11.1 + pkgrel = 1 + url = http://logtalk.org/ + arch = x86_64 + arch = i686 + license = APACHE + optdepends = swi-prolog: Prolog environment + optdepends = gprolog: GNU Prolog + optdepends = yap: A prolog backend + provides = logtalk + source = https://github.com/LogtalkDotOrg/logtalk3/archive/lgt3111stable.tar.gz + sha256sums = ae3829fede61125ab5ea2aefc5fe03a0a46ceee1f3fca75fe8a484272630bb20 + +pkgname = logtalk + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c2a9328d308e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,32 @@ +# Maintainer: Ebrahim Azarisooreh <ebrahim.azarisooreh@gmail.com> + +_pkgnum=3111 +pkgname=logtalk +pkgver=3.11.1 +pkgrel=1 +pkgdesc='Logtalk OOP extension and prolog frontend compiler - stable' +arch=('x86_64' 'i686') +url='http://logtalk.org/' +license=('APACHE') +depends=('') +makedepends=('') +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=('') +provides=('logtalk') +install=logtalk.install + + +package() { + LOGTALKHOME="$pkgdir/usr/lib/$pkgname" + mkdir -p "$LOGTALKHOME" + + cd "logtalk3-lgt${_pkgnum}stable" + + scripts/install.sh -p "$LOGTALKHOME" > /dev/null 2>&1 + + install -Dm 644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} diff --git a/logtalk.install b/logtalk.install new file mode 100644 index 000000000000..2976b14d33a1 --- /dev/null +++ b/logtalk.install @@ -0,0 +1,14 @@ +post_install() { + echo "" + echo "NOTE: You MUST run \`/usr/lib/logtalk/bin/logtalk_user_setup\` to complete this installation." + echo "" + echo "Also, If you haven't already, add the lines below to your \`.profile\`, \`.bash_profile\`, or \`.bashrc\`.": + 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 "MANPATH=\$MANPATH:\$LOGTALKHOME/man" + echo "export LOGTALKHOME LOGTALKUSER PATH MANPATH" + echo "-----------------------------------------------------------------------------------------------------------------" + echo "" +} |