[Xsb-development] Debian/Ubuntu packages for XSB and Flora-2

[Markus Schatten]

Dear all,

since I use XSB and Flora-2 a lot both for development and teaching,
I've created Debian/Ubuntu packages for both of them. I've also set up
a small repository. If you would like to test it, just add:

deb http://autopoiesis.foi.hr/ubuntu ./

to your /etc/apt/sources.list

and run:

sudo aptitude update
sudo aptitude install flora2 xsb

Executable names are xsb and flora2. Both are installed in /usr/local/bin

I've tested it on two Ubuntu machines, but it should work for Debian
as well. I've used the newest source packages to generate the
installers (May 2011), but noticed a few bugs in some modules (e.g.
they don't start). I've left such modules out of the config, but can
include them as soon as they are fixed.

Any test would be greatly appreciated!

All the best from sunny Croatia ;-)

M.

[Markus Schatten]

Dear prof. Kifer,

the modules which didn't work were:

Justification - no documentation on how to load it
AVL Trees - no documentation on how to load it
Heaps - doesn't seem to exist:

| ?- [heaps].
++Error[XSB/Runtime/P]: [Existence (No file/module heaps exists)] in
arg 1 of predicate consult/1
Forward Continuation...
... machine:xsb_backtrace/1
... consult:reconsult0/3
... x_interp:_$call/1
... x_interp:call_query/1
... standard:call_expose/1
... standard:catch/3
... x_interp:interpreter/0
... loader:ll_code_call/3
... standard:call_expose/1
... standard:catch/3

Bounds - a syntax error:

| ?- [bounds].
[Compiling /usr/local/xsb/packages/bounds]
++Error[XSB/Runtime/P]: [Syntax] X <--- HERE? ************
++ #>= Y :- parse_expression ( X , RX )
, parse_expression ( Y , RY ) , geq ( RX , RY , yes )
Forward Continuation...
... machine:xsb_backtrace/1
... xsb_read:iso_read_syntax_error/2
... parse:my_read/2
... parse:parse_clauses/2
... parse:parse1/3
... parse:parse/4
... standard:call_expose/1
... consult:compile_f/6
... consult:reconsult0/3
... x_interp:_$call/1
... x_interp:call_query/1
... standard:call_expose/1
... standard:catch/3
... x_interp:interpreter/0
... loader:ll_code_call/3
... standard:call_expose/1
... standard:catch/3

CHRd - no documentation on how to load it
PITA - requires additional packages which have to be packaged for Debian to work

Regarding the Java installer, I wasn't aware of it (I downloaded the
official distro, not from cvs). I just tried it out, works fine :-)
Would it be possible for the installer to install a script to start
XSB somewhere on the system path? In the debs I've installed in
/usr/local/bin/xsb and /usr/local/bin/flora2 so a user can start both
without adding to the system path or defining an alias.

All the best,

M.

Hi Markus,
Thanks for the .debs. Which modules don't work?
Also, FYI: there is now a Java installer for XSB, which can install on several
different Linuxes and Windows 32/64. (A jar in the top directory of the
distribution.)
michael
On Sat, 25 Jun 2011 23:00:06 +0200

Post by Markus Schatten
Dear all,
since I use XSB and Flora-2 a lot both for development and teaching,
I've created Debian/Ubuntu packages for both of them. I've also set up
deb http://autopoiesis.foi.hr/ubuntu ./
to your /etc/apt/sources.list
sudo aptitude update
sudo aptitude install flora2 xsb
Executable names are xsb and flora2. Both are installed in /usr/local/bin
I've tested it on two Ubuntu machines, but it should work for Debian
as well. I've used the newest source packages to generate the
installers (May 2011), but noticed a few bugs in some modules (e.g.
they don't start). I've left such modules out of the config, but can
include them as soon as they are fixed.
Any test would be greatly appreciated!
All the best from sunny Croatia ;-)
M.