--scratchdir ?

[Ross Paterson]

On Tue, Mar 18, 2008 at 01:15:21PM +0000, Duncan Coutts wrote:
> Can someone remind me why we have the --scratchdir flag for hugs.
> 
> As far as I can see all it does is specify where some temporary files go
> after being preprocessed but before being installed. The default is
> dist/scratch.
> 
> The question is, why is it configurable and not simply always
> dist/scratch?
> 
> What problem are people solving by modifying --scratchdir ?

It allows the hugs build system to place the uninstalled libraries so
that hugs can be run in-place (e.g. for testing) prior to installation.