diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-10-23 12:11:48 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-10-23 12:11:48 +0000 |
| commit | 9dc7843f53803af47bad6f730a8a766db9d47240 (patch) | |
| tree | de2f4fdf9d3aa611e02e9e9ad8633458f9f42e27 | |
| parent | a6f89fefef9ae755875c8b14c4b4c1513727cb16 (diff) | |
Allow multiple output formats in GF.Devel.GFC.Options. Suggested by peb.
| -rw-r--r-- | src/GF/Devel/GFC/Options.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Devel/GFC/Options.hs b/src/GF/Devel/GFC/Options.hs index af8bfa6af..3187ac60f 100644 --- a/src/GF/Devel/GFC/Options.hs +++ b/src/GF/Devel/GFC/Options.hs @@ -72,7 +72,7 @@ data Options = Options { optShowCPUTime :: Bool, optEmitGFC :: Bool, optGFCDir :: FilePath, - optOutputFormat :: OutputFormat, + optOutputFormats :: [OutputFormat], optOutputFile :: Maybe FilePath, optLibraryPath :: [FilePath], optForceRecomp :: Bool, @@ -92,7 +92,7 @@ defaultOptions = Options { optShowCPUTime = False, optEmitGFC = True, optGFCDir = ".", - optOutputFormat = FmtGFCC, + optOutputFormats = [FmtGFCC], optOutputFile = Nothing, optLibraryPath = [], optForceRecomp = False, @@ -157,7 +157,7 @@ optDescr = cpu x o = return $ o { optShowCPUTime = x } emitGFC x o = return $ o { optEmitGFC = x } gfcDir x o = return $ o { optGFCDir = x } - outFmt x o = readOutputFormat x >>= \f -> return $ o { optOutputFormat = f } + outFmt x o = readOutputFormat x >>= \f -> return $ o { optOutputFormats = optOutputFormats o ++ [f] } outFile x o = return $ o { optOutputFile = Just x } addLibDir x o = return $ o { optLibraryPath = x:optLibraryPath o } setLibPath x o = return $ o { optLibraryPath = splitSearchPath x } |