f5bff01 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Pass parameters to codegens with new cmdoption --cg-opt

Fixes #1482

commitf5bff01f6bdf95a69dab5cc9c98e2808af3e4f86 authorNiklas Larsson <niklas@mm.st> dateFri 24 Jul 2015, 01:53 (11 years ago) parent632ff47

4 files changed+9−1

compare with master

unifiedsplit

src/IRTS/Compiler.hs+1−1 src/Idris/AbsSyntaxTree.hs+1 src/Idris/CmdOptions.hs+1 src/Idris/REPL.hs+6

src/IRTS/Compiler.hs+1−1

@@ -136,7 +136,7 @@ generate codegen mainmod ir

136136 Via "c" -> codegenC ir

137137 -- Any external code generator

138138 Via cg -> do let cmd = "idris-" ++ cg

139− args = [mainmod, "-o", outputFile ir]

139+ args = [mainmod, "-o", outputFile ir] ++ compilerFlags ir

140140 exit <- rawSystem cmd args

141141 when (exit /= ExitSuccess) $

142142 putStrLn ("FAILURE: " ++ show cmd ++ " " ++ show args)

src/Idris/AbsSyntaxTree.hs+1

@@ -472,6 +472,7 @@ data Opt = Filename String

472472 | DumpDefun String

473473 | DumpCases String

474474 | UseCodegen Codegen

475+ | CodegenArgs String

475476 | OutputTy OutputType

476477 | Extension LanguageExt

477478 | InterpretScript String

src/Idris/CmdOptions.hs+1

@@ -127,6 +127,7 @@ parseFlags = many $

127127 <|> (DumpDefun <$> strOption (long "dumpdefuns"))

128128 <|> (DumpCases <$> strOption (long "dumpcases"))

129129 <|> ((\s -> UseCodegen $ parseCodegen s) <$> strOption (long "codegen" <> metavar "TARGET" <> help "Select code generator: C, Javascript, Node and bytecode are bundled with Idris"))

130+ <|> (CodegenArgs <$> strOption (long "cg-opt" <> metavar "ARG" <> help "Arguments to pass to code generator"))

130131 <|> (EvalExpr <$> strOption (long "eval" <> short 'e' <> metavar "EXPR" <> help "Evaluate an expression without loading the REPL"))

131132 <|> flag' (InterpretScript "Main.main") (long "execute" <> help "Execute as idris")

132133 <|> (InterpretScript <$> strOption (long "exec" <> metavar "EXPR" <> help "Execute as idris"))

src/Idris/REPL.hs+6

@@ -1600,6 +1600,8 @@ idrisMain opts =

16001600 let cgn = case opt getCodegen opts of

16011601 [] -> Via "c"

16021602 xs -> last xs

1603+ let cgFlags = opt getCodegenArgs opts

1604+

16031605 -- Now set/unset specifically chosen optimisations

16041606 sequence_ (opt getOptimisation opts)

16051607 script <- case opt getExecScript opts of

@@ -1624,6 +1626,7 @@ idrisMain opts =

16241626 setOutputTy outty

16251627 setNoBanner nobanner

16261628 setCodegen cgn

1629+ mapM_ (addFlag cgn) cgFlags

16271630 mapM_ makeOption opts

16281631 -- if we have the --bytecode flag, drop into the bytecode assembler

16291632 case bcs of

@@ -1838,6 +1841,9 @@ getCodegen :: Opt -> Maybe Codegen

18381841getCodegen (UseCodegen x) = Just x

18391842getCodegen _ = Nothing

18401843

1844+getCodegenArgs :: Opt -> Maybe String

1845+getCodegenArgs (CodegenArgs args) = Just args

1846+getCodegenArgs _ = Nothing

18411847

18421848getConsoleWidth :: Opt -> Maybe ConsoleWidth

18431849getConsoleWidth (UseConsoleWidth x) = Just x