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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
