[PPL-devel] Re: Problems with XSB 2.7.1

[Roberto Bagnara]

Terrance Swift wrote:
> Its pretty easy to comment out. Here's probably what is the safest
> way to do it. Simply go to  $XSB_PATH/syslib and copy
> std_xsb.xwam to std_xsb.xwamsav  Then comment out the line
> 
> standard_symbol(flush_output,1,file_io).
> 
> in std_xsb.P, load xsb, and type
> 
> | ?- compile(std_xsb).
> 
> This should succeed, and future sessions of xsb will use the modified
> library file. So just halt and reinvoke.

Dear Terrance,

thank you, but I now realize that, when I said I wanted solution (3),
I misunderstood.  In fact, this requires a kind of intervention the
normal user would not want to make.  So perhaps using the CVS version
is the best options?  Is it as simple as a `cvs checkout' followed
by a `cd .../build' followed by the same sequence described in the
install instructions?  Or would it a patch to the released 2.7.1
be possible/better?
Thanks again,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it