[nhc-bugs] NHC 1.08 & gmp

[Manuel M. T. Chakravarty]

Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> wrote,

> > 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]
> 
> > 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').
> 
> Thanks for the report.  Patch attached below.

Thanks.

> > [1] You need gmp-devel to compile programs using gmp, as
> >     opposed to running programs that have been dynamically
> >     linked against gmp.
> 
> nhc98 does not use an external gmp package.  I don't understand why
> you would have encountered problems with gmp.

Ooops - sorry, I had a gmp problem first and then the
problem mentioned above.  Before I sent the message, I got
the impression that the gmp problem was to do with my setup
and not nhc and deleted most of that from my message, but
obviously not all.  Just ignore it.

Cheers,
Manuel