hugs makefiles and Debian

[Isaac Jones]

Thanks for the reply,

I still seem to have this problem: during the installation section of
the build, ffihugs is looking in /usr/share for the libraries it
thinks it just installed (Actually, it just installed them in
DESTDIR).  Also, it fails with an error code of 1 without an error
message, but strace tells the tale (see below).

> I'd suggest
> 
> 	cd src && HUGSDIR=$(rootdir)/usr/share/hugs98 $(MAKE) DESTDIR=$(rootdir) install

I'm not sure I understand, why would we want to set DESTDIR here?

Reading my mail again, I see that I may have been unclear.  ffihugs
assumes that the rest of Hugs has already been installed, and so looks
in /usr/share/hugs98 for files that its interested in.  However, at
the point that ffihugs gets executed, Hugs has only been installed in
DESTDIR, not in its final installation place.

Any advice?

peace,

isaac

...
stat64("Prelude.hs", 0xeffff4b8)        = -1 ENOENT (No such file or directory)
stat64("Prelude.lhs", 0xeffff4b8)       = -1 ENOENT (No such file or directory)
stat64("/usr/share/hugs98/libraries/Prelude.hs", 0xeffff4b8) = -1 ENOENT (No such file or directory)
stat64("/usr/share/hugs98/libraries/Prelude.lhs", 0xeffff4b8) = -1 ENOENT (No such file or directory)
stat64("/usr/share/hugs98/oldlib/Prelude.hs", 0xeffff4b8) = -1 ENOENT (No such file or directory)
stat64("/usr/share/hugs98/oldlib/Prelude.lhs", 0xeffff4b8) = -1 ENOENT (No such file or directory)
exit(1)