Browse Source

Updated to new version.

master
Franco Masotti 6 years ago
parent
commit
93587ca47c
  1. 12
      .SRCINFO
  2. 4
      .install
  3. 14
      PKGBUILD
  4. 4
      run.sh

12
.SRCINFO

@ -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

4
.install

@ -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

14
PKGBUILD

@ -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'

4
run.sh

@ -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

Loading…
Cancel
Save