[PPL-devel] Sorry: I had to

[Roberto Bagnara]

Dear all,

the official version of libtool we were using had bugs that prevented
us from successfully running `make check' in the interfaces/Prolog
directory, on systems where the PPL was not already installed.
For this reason I had to switch to the CVS version of libtool.
More info on http://www.gnu.org/software/libtool/libtool.html .
If you have problems, go there and upgrade your sysyem.
Let me know if problems persist.
All the best

       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