diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-02-21 17:45:44 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:06 +0200 |
commit | 6a3f3a62452670380827f9e39dd28c5092741099 (patch) | |
tree | 98f3ac276cec9c64d0b8ee030e65a41713295b34 /configure | |
parent | adbefdc338c921f1b05dcf4996d32a3ca8b5f486 (diff) | |
download | compcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.tar.gz compcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.zip |
Hook for MPPA_K1c (generates Risc-V code for now)
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 |