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.
[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. Regards, Malcolm Index: src/tracer/hat/Makefile =================================================================== RCS file: /usr/src/master/nhc/src/tracer/hat/Makefile,v retrieving revision 1.26 diff -u -r1.26 Makefile --- src/tracer/hat/Makefile 2001/09/21 10:00:05 1.26 +++ src/tracer/hat/Makefile 2001/09/26 09:41:40 @@ -77,11 +77,11 @@ # Thorsten's haskell libraries and tools $(DEST)/hat-observe: Hatobserve.hs HatTrie.hs HatTrace.gc HatExpressionTree.hs PrettyExp.hs PrettyLib.hs $(OBJDIR)/hatlib.a - hmake -nhc98 -K10M +CTS -H20M -CTS Hatobserve $(OBJDIR)/hatlib.a -d$(DEST) $(shell echo $(LIBCOMPAT)) + $(LOCAL)hmake -nhc98 -K10M +CTS -H20M -CTS Hatobserve $(OBJDIR)/hatlib.a -d$(DEST) $(shell echo $(LIBCOMPAT)) mv $(DEST)/Hatobserve $(DEST)/hat-observe $(DEST)/hat-detect: Hatdetect.hs HatTrie.hs HatTrace.gc HatExpressionTree.hs PrettyExp.hs PrettyLib.hs $(OBJDIR)/hatlib.a - hmake -nhc98 -K10M +CTS -H20M -CTS Hatdetect $(OBJDIR)/hatlib.a -d$(DEST) $(shell echo $(LIBCOMPAT)) + $(LOCAL)hmake -nhc98 -K10M +CTS -H20M -CTS Hatdetect $(OBJDIR)/hatlib.a -d$(DEST) $(shell echo $(LIBCOMPAT)) mv $(DEST)/Hatdetect $(DEST)/hat-detect