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@cs.unipr.it