+++ /dev/null
------------------------------------------------------------------------------
--- CmdLine.hs
-
--- (c) Simon Marlow 2005
------------------------------------------------------------------------------
-
-module CmdLine where
-
-import System.Console.GetOpt
-import System.Environment ( getArgs )
-import System.IO.Unsafe ( unsafePerformIO )
-
------------------------------------------------------------------------------
--- Command line arguments
-
-args = unsafePerformIO getArgs
-(flags, other_args, cmdline_errors) = getOpt Permute argInfo args
-
-default_tooquick_threshold = 0.2 {- secs -} :: Float
-tooquick_threshold
- = case [ i | OptIgnoreSmallTimes i <- flags ] of
- [] -> default_tooquick_threshold
- (i:_) -> i
-
-devs = OptDeviations `elem` flags
-nodevs = OptNoDeviations `elem` flags
-
-default_title = "NoFib Results"
-reportTitle = case [ t | OptTitle t <- flags ] of
- [] -> default_title
- (t:_) -> t
-
-data CLIFlags
- = OptASCIIOutput
- | OptLaTeXOutput
- | OptHTMLOutput
- | OptIgnoreSmallTimes Float
- | OptDeviations
- | OptNoDeviations
- | OptTitle String
- | OptColumns String
- | OptRows String
- | OptHelp
- deriving Eq
-
-argInfo :: [ OptDescr CLIFlags ]
-argInfo =
- [ Option ['?'] ["help"] (NoArg OptHelp)
- "Display this message"
- , Option ['a'] ["ascii"] (NoArg OptASCIIOutput)
- "Produce ASCII output (default)"
- , Option ['h'] ["html"] (NoArg OptHTMLOutput)
- "Produce HTML output"
- , Option ['i'] ["ignore"] (ReqArg (OptIgnoreSmallTimes . read) "secs")
- "Ignore runtimes smaller than <secs>"
- , Option ['d'] ["deviations"] (NoArg OptDeviations)
- "Display deviations (default)"
- , Option ['l'] ["latex"] (NoArg OptLaTeXOutput)
- "Produce LaTeX output"
- , Option [] ["columns"] (ReqArg OptColumns "COLUMNS")
- "Specify columns for summary table (comma separates)"
- , Option [] ["rows"] (ReqArg OptRows "ROWS")
- "Specify rows for summary table (comma separates)"
- , Option ['n'] ["nodeviations"] (NoArg OptNoDeviations)
- "Hide deviations"
- , Option ['t'] ["title"] (ReqArg OptTitle "title")
- "Specify report title"
- ]
-