[Xsb-installation] Instalation log

[Tiago B. <l1...@al...>]

I had a problem compiling the XSB
In  auxlry.c the reference to  #include <sys/time.h> was not enough. I 
had to add #include <time.h> to be able to compile it.
I'm using Debian 3.0