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