[Sorry about the delay on this.
I did reply to you (Marcel) but I gather that there is a
problem with delivery so I am posting this to the list,
I just received a message delayed notification]
On Friday 11 Mar 2011 12:48, you wrote:
> And now, one more error.
> I believe it is polyml related.
c++ has been told to look in /usr/lib for the polyml
On my ubuntu installation it is in /usr/local/lib.
According to the configure script headers /usr/local is the
Have you set PPPOLYHOME to /usr ?
Proofpower mailing list