--scratchdir ?

Duncan Coutts duncan.coutts at worc.ox.ac.uk
Tue Mar 18 09:15:21 EDT 2008

Previous message: patch applied (cabal): #221: specific include and library search paths options
Next message: --scratchdir ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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 ?

Duncan

Previous message: patch applied (cabal): #221: specific include and library search paths options
Next message: --scratchdir ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cabal-devel mailing list