diff options
author | frnmst/Franco Masotti | 2016-10-06 19:09:14 +0200 |
---|---|---|
committer | frnmst/Franco Masotti | 2016-10-06 19:09:14 +0200 |
commit | 2c0b6cf7f77031d3f0b01d35cb49d3cdfccea6fe (patch) | |
tree | c9216bdb15b82949c82791546342f2d06ed8a317 | |
parent | 31e0f4e41c7e398cee86cebc02462b19f549702d (diff) | |
download | aur-2c0b6cf7f77031d3f0b01d35cb49d3cdfccea6fe.tar.gz |
Updated files.
-rw-r--r-- | .INSTALL | 8 | ||||
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rwxr-xr-x | install_web_iface_deps.pl | 1 |
4 files changed, 7 insertions, 6 deletions
@@ -1,13 +1,13 @@ startdir= post_install() { - ${startdir}/install_web_iface_deps.pl echo "" echo "" - echo "Please install the matrix package \ -separately within swipl (run as root): pack_install(matrix)." + ${startdir}/install_web_iface_deps.pl + echo "" echo "" - echo "Start and enable swish-cplint.service" + echo "You can now start and enable \ +swish-cplint.service to run the server." } pre_remove() { @@ -1,7 +1,7 @@ pkgbase = swish-cplint pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite pkgver = r8.13b29c6 - pkgrel = 1 + pkgrel = 2 url = git://github.com/friguzzi/swish install = .INSTALL arch = x86_64 @@ -1,7 +1,7 @@ # Maintainer: Franco Masotti <franco dot masotti at student dot unife dot it> pkgname=swish-cplint pkgver=r8.13b29c6 -pkgrel=1 +pkgrel=2 pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite" arch=('x86_64') url="git://github.com/friguzzi/swish" diff --git a/install_web_iface_deps.pl b/install_web_iface_deps.pl index 713df418d0fc..739c19b0bd67 100755 --- a/install_web_iface_deps.pl +++ b/install_web_iface_deps.pl @@ -30,6 +30,7 @@ install:- pack_install(aleph, [interactive(false)]), pack_install(auc, [interactive(false)]), pack_install(real, [interactive(false)]), + pack_install(matrix, [interactive(false)]), pack_install(cplint, [interactive(false)]). main:- |