--scratchdir ?

Duncan Coutts 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 mailing list