Re: Changes to make fptools insfrastructure usable for standalone libraries

On Sat, May 17, 2003 at 05:21:17PM +0100, Alastair Reid wrote:
> >    [...]
> >    When using greencard we need to know where the Foreign.GreenCard.gc
> >    file was installed. 

On Sunday 18 May 2003 10:24 am, Ross Paterson wrote:
> i.e. putting Foreign/GreenCard.gc and the green-card binary under
> $(libdir)/gc-3.00 and making $(bindir)/green-card a small script that
> runs the binary with an appropriate -i flag.  That would also avoid an
> entanglement with GHC.

You're right - that's the way to do it (though I lean a little towards 
building the magic string into the binary.)

Any thoughts on where to put it?  The obvious place (currently implemented) 
is:

    `ghc --print-libdir`  (== /usr/lib/ghc-5.04.2 on my machine)

But, when using GreenCard to generate code you'll use with Hugs or NHC, this 
isn't going to work so well - I certainly don't want to add a dependency on 
ghc.  I could put it in $libdir/greencard-3.00/... and add a --print-libdir 
flag to green-card:

  `green-card --print-libdir` (== /usr/lib/greencard-3.00)

--
Alastair