[nhc-bugs] NHC 1.08 & gmp

Manuel M. T. Chakravarty chak@cse.unsw.edu.au
Wed, 26 Sep 2001 14:50:20 +1000


Compiling nhc 1.08 on a RedHat 7.1 machine, I get

hmake -nhc98 -K10M +CTS -H20M -CTS Hatobserve /home/chak/sandbox/src/nhc98-1.08/targets/ix86-Linux/obj/hat/hatlib.a -d/home/chak/sandbox/src/nhc98-1.08/lib/ix86-Linux 
make[1]: hmake: Command not found
make[1]: *** [/home/chak/sandbox/src/nhc98-1.08/lib/ix86-Linux/hat-observe] Error 127
make[1]: Leaving directory `/home/chak/sandbox/src/nhc98-1.08/src/tracer/hat'
make: *** [lib/ix86-Linux/hat-stack] Error 2

It seems as if the path to `hmake' got lost somewhere.  I
worked around it by doing a `make install' at this point
followed by another `make' (and another `make install').

Cheers,
Manuel

[1] You need gmp-devel to compile programs using gmp, as
    opposed to running programs that have been dynamically
    linked against gmp.