18 Mar
2008
18 Mar
'08
9:29 a.m.
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.