git.iko.soy/Idris-dev
on master help sign in
Generalise help messages for Hardware Specific Options.

The options `--target TRIPLE` and `--cpu CPU` are only really used by the llvm-codegen, which has been spun out from the main idris project for some time. This PR generalises and help message for these options to be non-llvm specific, and makes reference that the backend might not use this information during compilation.

commit838cc38ed6eeffe74538eeceab6887dafbbd84fc authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateWed 30 Mar 2016, 09:36 (11 years ago) parentbb4a84b
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")