ghc --make

[Chris Dornan]

We are having a problem with ghc --make.  We have a standard set of libraries 
that we build and install in a shared area and then use with ghc --make.  The 
problem is that ghc then (sometimes) tries to rebuild the libraries: something 
that is doomed to fail for a variety of reasons.

(We think that it might be prone to do this if it doesn't have write permission 
for the library .hi and .o files.)

Why would ghc do this?  Nothing has changed in the libraries obviously, and the 
libraries are quite self-contained, not referring back to anything else that 
has changed.

We don't build the libraries with ghc --make, itself but use a makefile.

Would it be possible/sensible to provide a means of telling ghc --make not to 
try and rebuild any modules in a given directory?

Chris