Linux version, libraries

Simon Marlow simonmar@microsoft.com
Tue, 19 Mar 2002 12:56:26 -0000


> uname -a
> Linux   ...<machine>...=20
>   2.2.12 #6 SMP mar oct 5 16:44:59 CEST 1999 i686 unknown
>=20
> ls -l /lib/libc*
>=20
> -rwxr-xr-x 1 root root 4118299 Sep 20 1999 /lib/libc-2.1.2.so*
> lrwxrwxrwx 1 root root      13 Nov  5 1999 /lib/libc.so.6 ->=20
> libc-2.1.2.so*
> lrwxrwxrwx 1 ...  1999            /lib/libcom_err.so.2 ->=20
> libcom_err.so.2.0*
> -rwxr-xr-x 1 root root    7889 Oct 26 1999 /lib/libcom_err.so.2.0*
> -rwxr-xr-x 1 root root   64595 Sep 20 1999 /lib/libcrypt-2.1.2.so*
> lrwxrwxrwx 1 .. 1999               /lib/libcrypt.so.1 ->=20
> libcrypt-2.1.2.so*

It looks like it might be a bit earlier than RedHat 6.2, our machine
here has libc-2.1.3.  The RedHat 6.2 bundle should work fine.

One possible way to tell what your system is:

	> rpm -qa | grep redhat
	redhat-release-6.2-1
	rpmdb-redhat-6.2-0.20000308
	redhat-logos-1.1.0-2

> On GMP library:
>=20
> > find /usr/lib  -name '*gmp*'
>=20
> /usr/lib/libgmp.so.2.0.2
> /usr/lib/libgmp.so.2
> find: /usr/lib/netscape/de/nethelp: Permission ...
> /usr/lib/perl5/5.00503/i386-linux/linux/igmp.ph
> /usr/lib/perl5/5.00503/i386-linux/netinet/igmp.ph

Well, you have GMP 2 installed by the looks of it.  I don't know why GHC
4.04 is failing, but it's probably not worth tracking down.

Cheers,
	Simon