Arch Linux

webstrand

Member

Registered: 2012-10-11

Posts: 6

[REQUEST] xsb 3.4

I've made an attempt to package xsb, but ran into issues when the configure script attempted to make directories outside of the user filesystem.

The project's homepage can be found at http://xsb.sourceforge.net/.

Installation instructions can be found in section 2.1 in the manual.

There is a gentoo ebuild for the previous version.

The PKGBUILD I constructed (incomplete):

pkgname=xsb
pkgver=340
pkgrel=1
pkgdesc="Logic Programming and Deductive Database system."
url="http://xsb.sourceforge.net/"
arch=('i686' 'x86_64')
license=('LGPL2.1')
source=("http://downloads.sourceforge.net/project/xsb/xsb/3.4 %28Soy%20mILK%29/XSB340.tar.gz")
md5sums=('a8e1f068d38997aaf4cb1e9e9fca324c')
depends=('pcre' 'libxml2' 'curl')
build() {
  cd "$srcdir/XSB/build"
  ./configure --prefix=/opt/xsb
  ./makexsb
}

As a final note, I'm not sure if this package should be LGPL2.1 or LGPL2.