838cc38 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Generalise help messages for Hardware Specific Options.

838cc38Jan de Muijnck-Hughes11 years ago

man/idris.1+3−3

compare with master

unifiedsplit

@@ -93,9 +93,9 @@ should not necessarily be seen as production ready nor for industrial use.

93 ErrorReflection)

94 --no-partial-eval Switch off partial evaluation, mainly for debugging

95 purposes

96− --target TRIPLE Select target triple (for llvm codegen)

96+ --target TRIPLE If supported the codegen will target the named triple.

97+ --cpu CPU If supported the codegen will target the named CPU

97− --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM

98+ e.g. corei7 or cortex-m3.

98− codegen)

99 --color,--colour Force coloured output

100 --nocolor,--nocolour Disable coloured output

101 --consolewidth WIDTH Select console width: auto, infinite, nat

src/Idris/CmdOptions.hs+2−2

@@ -175,8 +175,8 @@ parseFlags = many $

175

176 <|> (OptLevel <$> option auto (short 'O' <> long "level"))

177

178− <|> (TargetTriple <$> strOption (long "target" <> metavar "TRIPLE" <> help "Select target triple (for llvm codegen)"))

178+ <|> (TargetTriple <$> strOption (long "target" <> metavar "TRIPLE" <> help "If supported the codegen will target the named triple."))

179− <|> (TargetCPU <$> strOption (long "cpu" <> metavar "CPU" <> help "Select target CPU e.g. corei7 or cortex-m3 (for LLVM codegen)"))

179+ <|> (TargetCPU <$> strOption (long "cpu" <> metavar "CPU" <> help "If supported the codegen will target the named CPU e.g. corei7 or cortex-m3"))

180

181 -- Colour Options

182 <|> flag' (ColourREPL True) (long "colour" <> long "color" <> help "Force coloured output")