summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorFranco Masotti2017-02-07 18:54:25 +0100
committerFranco Masotti2017-02-07 18:54:25 +0100
commit7a1659085eea033b740cfa1b41a8044bf4d9a9c9 (patch)
treef513961f7db846ed5446b493a4f78644eab7f8fc
parentef8f46da27b403ba37fed40bdbf156b930982085 (diff)
downloadaur-7a1659085eea033b740cfa1b41a8044bf4d9a9c9.tar.gz
Minor fixes.
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD9
-rwxr-xr-xinstall_web_iface_deps.pl4
3 files changed, 9 insertions, 11 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 197419919c57..b63cef4f3735 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = swish-cplint
pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite
- pkgver = r1673.4e5dd96
- pkgrel = 6
+ pkgver = r1789.2563692
+ pkgrel = 1
url = https://github.com/friguzzi/swish
install = .install
arch = x86_64
@@ -13,9 +13,10 @@ pkgbase = swish-cplint
depends = libxpm
depends = git
depends = graphviz
- depends = swi-prolog-devel=7.3.32
+ depends = swi-prolog-devel
depends = rserve-sandbox-docker
conflicts = swish
+ conflicts = swish-cplint-bin
source = git+https://github.com/friguzzi/swish#branch=master
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index a6cbe231e1c6..05cb9dfcb2e7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Franco Masotti <franco dot masotti at student dot unife dot it>
# Contributor: Franco Masotti <franco dot masotti at student dot unife dot it>
pkgname=swish-cplint
-pkgver=r1673.4e5dd96
-pkgrel=6
+pkgver=r1789.2563692
+pkgrel=1
pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite"
arch=('x86_64')
url="https://github.com/friguzzi/swish"
@@ -11,12 +11,13 @@ depends=('libxinerama'
'libxpm'
'git'
'graphviz'
- 'swi-prolog-devel=7.3.32'
+ 'swi-prolog-devel'
'rserve-sandbox-docker')
makedepends=('git'
'bower'
'sed')
-conflicts=('swish')
+conflicts=('swish'
+ 'swish-cplint-bin')
install=.install
source=('git+https://github.com/friguzzi/swish#branch=master')
md5sums=('SKIP')
diff --git a/install_web_iface_deps.pl b/install_web_iface_deps.pl
index dd8c78926c5f..3c60b3e489e2 100755
--- a/install_web_iface_deps.pl
+++ b/install_web_iface_deps.pl
@@ -28,11 +28,7 @@
install:-
pack_install(aleph, [url('https://github.com/friguzzi/aleph.git'),interactive(false)]),
- pack_install(auc, [url('https://github.com/friguzzi/auc.git'),interactive(false)]),
pack_install(real, [url('http://stoics.org.uk/~nicos/sware/packs/real/real-2.0.tgz'),interactive(false)]),
- pack_install(matrix, [url('https://github.com/friguzzi/matrix.git'),interactive(false)]),
- pack_install(cplint, [url('https://github.com/friguzzi/cplint.git'),interactive(false)]),
- pack_install('rserve_client', [url('https://github.com/JanWielemaker/rserve_client.git'),interactive(false)]),
pack_install('cplint_r', [url('https://github.com/frnmst/cplint_r.git'),interactive(false)]).
main:-