git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3079 from jfdm/fix-cli-help-for-hardware-opts

Generalise help messages for Hardware Specific Options.

commit09a18bfa4fd74c3a9241f42e7cb23ff9bc510be7 authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com> dateWed 30 Mar 2016, 17:37 (11 years ago) parentbb4a84b838cc38
2 files changed+5−5
compare with master
unifiedsplit
man/idris.1+3−3 src/Idris/CmdOptions.hs+2−2
man/idris.1+3−3
@@ -93,9 +93,9 @@ should not necessarily be seen as production ready nor for industrial use.
9393 ErrorReflection)
9494 --no-partial-eval Switch off partial evaluation, mainly for debugging
9595 purposes
96− --target TRIPLE Select target triple (for llvm codegen)
97− --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
98− 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
98+ e.g. corei7 or cortex-m3.
9999 --color,--colour Force coloured output
100100 --nocolor,--nocolour Disable coloured output
101101 --consolewidth WIDTH Select console width: auto, infinite, nat
src/Idris/CmdOptions.hs+2−2
@@ -175,8 +175,8 @@ parseFlags = many $
175175
176176 <|> (OptLevel <$> option auto (short 'O' <> long "level"))
177177
178− <|> (TargetTriple <$> strOption (long "target" <> metavar "TRIPLE" <> help "Select target triple (for llvm codegen)"))
179− <|> (TargetCPU <$> strOption (long "cpu" <> metavar "CPU" <> help "Select target CPU e.g. corei7 or cortex-m3 (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 "If supported the codegen will target the named CPU e.g. corei7 or cortex-m3"))
180180
181181 -- Colour Options
182182 <|> flag' (ColourREPL True) (long "colour" <> long "color" <> help "Force coloured output")