duncan.coutts at worc.ox.ac.uk
Tue Mar 18 09:15:21 EDT 2008
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
The question is, why is it configurable and not simply always
What problem are people solving by modifying --scratchdir ?
More information about the cabal-devel