diff options
Diffstat (limited to 'config/nim.cfg')
| -rw-r--r-- | config/nim.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/nim.cfg b/config/nim.cfg index 9b3172e90..e11826587 100644 --- a/config/nim.cfg +++ b/config/nim.cfg @@ -243,3 +243,11 @@ vcc.cpp.options.size = "/O1" # Configuration for the Tiny C Compiler: tcc.options.always = "-w" + +# Configuration for the Genode toolchain +amd64.genode.gcc.cpp.exe = "genode-x86-g++" +amd64.genode.gcc.exe = "genode-x86-gcc" +amd64.genode.gcc.path = "/usr/local/genode-gcc/bin" +arm.genode.gcc.cpp.exe = "genode-arm-g++" +arm.genode.gcc.exe = "genode-arm-gcc" +arm.genode.gcc.path = "/usr/local/genode-gcc/bin" |