From 4e8d6b2c02869c06607d803b8a7487784984ee33 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 23 Oct 2007 12:11:48 +0000
Subject: [PATCH] Allow multiple output formats in GF.Devel.GFC.Options.
 Suggested by peb.

---
 src/GF/Devel/GFC/Options.hs | 6 +++---
 1 file 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 }