diff options
| author | Emery Hemingway <emery@vfemail.net> | 2018-05-17 12:49:17 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-05-18 16:52:08 +0200 |
| commit | 5b176f14a2d6ef12e91027d736d60dcaa799347c (patch) | |
| tree | 3fd0a05258aa4865b3bb69cc4e9d04f3573a794b | |
| parent | 221b34ad8313be854a6e27352ce67ffe8492b7ff (diff) | |
| download | Nim-5b176f14a2d6ef12e91027d736d60dcaa799347c.tar.gz | |
Provide configuration for Genode toolchain
| -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" |