diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -49,6 +49,7 @@ Supported targets: x86_64-macosx (x86 64 bits, MacOS X) rv32-linux (RISC-V 32 bits, Linux) rv64-linux (RISC-V 64 bits, Linux) + k1c-linux (Kalray K1c, Linux) manual (edit configuration file by hand) For x86 targets, the "x86_32-" prefix can also be written "ia32-" or "i386-". @@ -152,6 +153,8 @@ case "$target" in arch="riscV"; model="32"; endianness="little"; bitsize=32;; rv64-*) arch="riscV"; model="64"; endianness="little"; bitsize=64;; + k1c-*) + arch="mppa_k1c"; model="64"; endianness="little"; bitsize=64;; manual) ;; "") @@ -405,6 +408,25 @@ if test "$arch" = "riscV"; then system="linux" fi +# +# K1c Target Configuration +# +if test "$arch" = "mppa_k1c"; then + #model_options="-march=rv64imafd -mabi=lp64d" + # FIXME - maybe later add it for NodeOS & cie + model_options= + abi="standard" + casm="${toolprefix}gcc" + casm_options="$model_options -c" + cc="${toolprefix}gcc $model_options" + clinker="${toolprefix}gcc" + clinker_options="$model_options" + cprepro="${toolprefix}gcc" + cprepro_options="$model_options -std=c99 -U__GNUC__ -E" + libmath="-lm" + system="linux" +fi + # # Finalize Target Configuration |