[mercury-users] Compiling Mercury on Redhat 7.0

[Fergus Henderson]

On 15-May-2003, Michael Day <mikeday at yeslogic.com> wrote:
> 
> > Maybe it is a problem with the time stamps.  Have you checked that that
> > all the .c_date files have more recent time stamps than the .m files?
> 
> Thanks, I think it must have been a time stamp issue, as with some
> fiddling around and reconfiguration everything worked (although the
> Makefile does rely on making a hard link from "top_level" to
> "mercury_compile" which is impossible on file systems without hard links).

We don't rely on it being a hard link; a copy suffices.
We do rely on the "ln" command, but on file systems without hard links,
Cygwin's "ln" just makes a copy, and that is sufficient for our purposes.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------