[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