[nhc-bugs] NHC 1.08 & gmp

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Wed, 26 Sep 2001 10:47:52 +0100


> 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