diff options
-rw-r--r-- | .SRCINFO | 12 | ||||
-rw-r--r-- | .install | 4 | ||||
-rw-r--r-- | PKGBUILD | 14 | ||||
-rwxr-xr-x | run.sh | 4 |
4 files changed, 21 insertions, 13 deletions
@@ -1,20 +1,24 @@ pkgbase = swish-cplint pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite - pkgver = r1789.2563692 + pkgver = r1849.519a5ac pkgrel = 1 url = https://github.com/friguzzi/swish install = .install arch = x86_64 license = BSD makedepends = git + makedepends = make makedepends = bower makedepends = sed - depends = libxinerama - depends = libxpm + depends = bash + depends = coreutils + depends = gawk depends = git depends = graphviz - depends = swi-prolog-devel + depends = libxinerama + depends = libxpm depends = rserve-sandbox-docker + depends = swi-prolog-devel conflicts = swish conflicts = swish-cplint-bin source = git+https://github.com/friguzzi/swish#branch=master @@ -1,8 +1,8 @@ post_install() { # Add swish user and group with a home directory (which will contain all # the packs). - getent group swish &>/dev/null || groupadd -r swish >/dev/null - getent passwd swish &>/dev/null || useradd -m -d /home/swish \ + getent group swish 1>/dev/null 2>/dev/null || groupadd -r swish >/dev/null + getent passwd swish 1>/dev/null 2>/dev/null || useradd -m -d /home/swish \ -r -g swish swish >/dev/null # Add swish user to the rserve group. If this is not done, access to the @@ -1,19 +1,23 @@ # 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=r1789.2563692 +pkgver=r1849.519a5ac 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" license=('BSD') -depends=('libxinerama' - 'libxpm' +depends=('bash' + 'coreutils' + 'gawk' 'git' 'graphviz' - 'swi-prolog-devel' - 'rserve-sandbox-docker') + 'libxinerama' + 'libxpm' + 'rserve-sandbox-docker' + 'swi-prolog-devel') makedepends=('git' + 'make' 'bower' 'sed') conflicts=('swish' @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash # # run.sh @@ -81,7 +81,7 @@ killd() # kill action only if process exists. if [ -f "$pid_file" ]; then pid=$(cat "$pid_file") - ps -q $pid > /dev/null + ps -p $pid > /dev/null if [ $? -eq 0 ]; then kill -s TERM $pid fi |