Rob Arthan wrote:

I have just learnt a few things installing Poly/ML on a Ubuntu 8.04 system freshly built from the Desktop CD:

1. Ubuntu comes out of the CD with 3/4 of a C compiler. You get gcc, but not

libc, so you can compile hello-world.c but not link or run it. The configure script notices this. Installing the package libc6-dev fixes it.

2. But, the configure script doesn't seem to check that there is a C++

compiler (perhaps it should???). The output from configure looked OK, but make fell over with an error:

../libtool: line 1281: g++: command not found

Installing the package g++ fixes this.

I've just fallen over this myself as a result of reinstalling Ubuntu on my 64-bit machine. Surprisingly there isn't a direct autoconf macro to test this but I've worked out the test to apply and added it to the configure script.

3. But, poly builds and installs but won't run, because Ubuntu is one of those

systems that doesn't include /usr/local/lib on the library path, After starting again with "./configure --prefix=/usr", I have a working compiler.

It appears that autoconf does this by default. I don't know if there's a way to detect it. I made a note in some of the documentation somewhere about this. It's a particular problem if ldconfig doesn't include /usr/local/lib because the dynamic libraries won't be loaded.

Regards, David