RE: GHC include files

[Simon Marlow]

> Just a few remarks and personal opinions from a RPM builder's view:
> 
>    * IMHO the whole /usr/local hierarchy is completely obsolete for
>      and "real" programs should only be used for quick local hacks.
>      => GHC should reside under /usr/{bin,lib,include}

I'd rather say that the use of /usr/local is system dependent.  The BSD
folks for example have a nice clear scheme: everything in /usr is part of
the base system, everything in /usr/local comes from the ports tree.

In a package system the choice of installation directories is moot, as you
point out.  The only issue is whether several versions are allowed to
co-exist.  Either choice seems reasonable to me.

Cheers,
        Simon