diff options
Diffstat (limited to 'config/nim.cfg')
| -rw-r--r-- | config/nim.cfg | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/config/nim.cfg b/config/nim.cfg index af9df9c55..9626a3197 100644 --- a/config/nim.cfg +++ b/config/nim.cfg @@ -255,9 +255,14 @@ vcc.cpp.options.size = "/O1" 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" +@if genode: + gcc.path = "/usr/local/genode-gcc/bin" + gcc.cpp.options.always = "-D__GENODE__ -fno-stack-protector" + @if i386 or amd64: + gcc.exe = "genode-x86-gcc" + gcc.cpp.exe = "genode-x86-g++" + @elif arm: + gcc.exe = "genode-arm-gcc" + gcc.cpp.exe = "genode-arm-g++" + @end +@end |