problems with gmp on RH 6.1?

[Amanda Clare]

I'm trying to make Hat (2.00) on a ix86 Linux (RedHat 6.1) machine with 
  ghc-5.02.3 already installed.

I get the following during the make process:

cd /home/ajc99/tools/hat-2.00/targets/ix86-Linux/obj/hattools && ghc 
-fglasgow-exts -package lang     -o HatTrail Run.o FFIExtensions.o 
HighlightStyle.o PrettyLibHighlight.o SExp.o LowLevel.o HatTrail.o 
/home/ajc99/tools/hat-2.00/targets/ix86-Linux/obj/hattools/artutils.o 
/home/ajc99/tools/hat-2.00/targets/ix86-Linux/obj/hattools/hat-names.o 
/home/ajc99/tools/hat-2.00/targets/ix86-Linux/obj/hattools/observe.o 
-L/usr/lib -lglib
/usr/local/funcprog//lib/ghc-5.02.3/libHSstd.a(PrelNum__42.o): In 
function `s5bt_2_alt':
PrelNum__42.o(.text+0x93): undefined reference to `__gmpz_cmp_si'


And many more undefined references, all to functions starting with __gmp

Malcolm suggested:

> GMP is the Gnu multi-precision arithmetic library, which is used
> internally by ghc to implement the unbounded Integer type and its
> operations.
> 
> At a guess, ghc-5.02.3 requires a newer version of the GMP library
> than the one you get by default in RedHat 6.1.  Alternatively, it
> could be that ghc is not issuing the correct link instructions for
> the GMP library.


Would you have any idea if this is likely to be the case?

Amanda