Updated.

.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 = 5
+	pkgrel = 6
 	url = https://github.com/friguzzi/swish
 	install = .install
 	arch = x86_64
@@ -13,7 +13,7 @@ pkgbase = swish-cplint
 	depends = libxpm
 	depends = git
 	depends = graphviz
-	depends = swi-prolog-devel
+	depends = swi-prolog-devel=7.3.32
 	depends = rserve-sandbox-docker
 	conflicts = swish
 	source = git+https://github.com/friguzzi/swish#branch=master

PKGBUILD

@@ -2,7 +2,7 @@
 # Contributor: Franco Masotti <franco dot masotti at student dot unife dot it>
 pkgname=swish-cplint
 pkgver=r1673.4e5dd96
-pkgrel=5
+pkgrel=6
 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,7 +11,7 @@ depends=('libxinerama'
          'libxpm'
          'git'
          'graphviz'
-         'swi-prolog-devel'
+         'swi-prolog-devel=7.3.32'
          'rserve-sandbox-docker')
 makedepends=('git'
              'bower'

install_web_iface_deps.pl

@@ -32,7 +32,8 @@ install:-
         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('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:-
         catch(install, E, (print_message(error, E), fail)),

run.pl

@@ -26,7 +26,7 @@
  */
 
 :- use_module(server).
-:- use_module(lib/r_swish).
+:- use_module('lib/r_swish').
 :- use_module(library(r/r_sandbox)).
 
 % Using `localhost:3050`, we only bind to localhost interface!

run.sh

@@ -88,6 +88,11 @@ killd()
     fi
 }
 
+remove()
+{
+    :
+}
+
 startd()
 {
     local pid=""
@@ -155,11 +160,12 @@ write_pid_file()
 
 option_parser()
 {
-    getopts ":hiks" opt "$@"
+    getopts ":hikrs" opt "$@"
     case "$opt" in
         h ) help            ;;
         i ) init            ;;
         k ) killd           ;;
+        r ) remove          ;;
         s ) startd          ;;
         ? ) help; return 1  ;;
     esac