diff options
| author | Emery Hemingway <ehmry@posteo.net> | 2018-08-16 18:12:37 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-08-16 18:12:37 +0200 |
| commit | 2da0341b4d6828479c5dc75a233b47732f53cf6c (patch) | |
| tree | 525b358312f727da17dc631e0e2090041c46f8eb /config/nim.cfg | |
| parent | 87b2d2aad6a19ae0e2cafb7fcc8ac1502aed01fa (diff) | |
| download | Nim-2da0341b4d6828479c5dc75a233b47732f53cf6c.tar.gz | |
Genode fixes (#8501)
* Genode fixes - wrap strings in "Genode::Cstring" when logging - define SIGABRT for Genode - disable GCC -fstack-protector - use log RPC for fatal messages - add --os:genode build to appveyor - define paramStr and paramCount * Select fixups for Genode POSIX
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 |