Browse Source

Updated to new version.

master
Franco Masotti 6 years ago
parent
commit
b14a4620b8
  1. 11
      .SRCINFO
  2. 4
      .install
  3. 13
      PKGBUILD
  4. 4
      run.sh

11
.SRCINFO

@ -1,6 +1,6 @@
pkgbase = swish-cplint-bin
pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite - precompiled version
pkgver = r1789.2563692
pkgver = r1849.519a5ac
pkgrel = 1
url = https://github.com/friguzzi/swish
install = .install
@ -10,12 +10,15 @@ pkgbase = swish-cplint-bin
makedepends = sed
makedepends = unzip
makedepends = curl
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-bin
depends = swi-prolog-devel
conflicts = swish
conflicts = swish-cplint
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

13
PKGBUILD

@ -1,18 +1,21 @@
# 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-bin
pkgver=r1789.2563692
pkgver=r1849.519a5ac
pkgrel=1
pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite - precompiled version"
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-bin')
'libxinerama'
'libxpm'
'rserve-sandbox-docker-bin'
'swi-prolog-devel')
makedepends=('git'
'sed'
'unzip'

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