[PPL-devel] Re: Problems with XSB 2.7.1

[Terrance Swift]

Hi Roberto:

Perhaps the following solutions would be best for your users who use
versions 2.7 or 2.7.1.  In their .xsb/xsbrc.P file they simply add the
lines

	:- import add_alias/2 from file_io.

	?- add_alias(user_output,1).

	?- add_alias(user_input,0).

which will give the desired behavior for flush_output (and most other
predicates).  The current CVS version has a slightly deeper fix.

My guess is that we won't be putting out an official release of XSB
for a little while, as we are trying to finish making XSB fully
multithreaded.  However if worse comes to worse, we may be able to put
out a patch release next week.

Terry


On Fri, 1 Jul 2005, Roberto Bagnara wrote:

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