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.
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.
Regards,
Rob.