Commit a26065d5 authored by John Zhang's avatar John Zhang

default Mu codegen to be C rather than calling API through rffi, so that it is much faster

parent 45fda238
......@@ -288,7 +288,7 @@ translation_optiondescription = OptionDescription(
OptionDescription("mu", "Mu backend options", [
ChoiceOption("codegen", "Code generator to use for Mu backend",
["api", "c"], default="api", cmdline="--mu-codegen"),
["api", "c"], default="c", cmdline="--mu-codegen"),
ChoiceOption("impl", "Mu implementation to target",
["holstein", "zebu"], default="holstein", cmdline="--mu-impl"),
BoolOption("testjit", "Generate code suitable for testing Mu JIT",
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment