Add option to specify cabal-dev sandbox explicitly.

This commit is contained in:
Paolo Capriotti
2012-04-09 20:39:58 +01:00
parent cdd8eb71a3
commit b0cabae366
3 changed files with 16 additions and 3 deletions

View File

@@ -10,6 +10,7 @@ data Options = Options {
, ghcOpts :: [String]
, operators :: Bool
, expandSplice :: Bool
, sandbox :: Maybe String
}
defaultOptions :: Options
@@ -19,6 +20,7 @@ defaultOptions = Options {
, ghcOpts = []
, operators = False
, expandSplice = False
, sandbox = Nothing
}
----------------------------------------------------------------