Browse Source

Minor fixes.

master
Franco Masotti 6 years ago
parent
commit
7a1659085e
  1. 7
      .SRCINFO
  2. 9
      PKGBUILD
  3. 4
      install_web_iface_deps.pl

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

9
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')

4
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:-

Loading…
Cancel
Save