aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-02-21 17:45:44 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-04-04 16:30:06 +0200
commit6a3f3a62452670380827f9e39dd28c5092741099 (patch)
tree98f3ac276cec9c64d0b8ee030e65a41713295b34 /configure
parentadbefdc338c921f1b05dcf4996d32a3ca8b5f486 (diff)
downloadcompcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.tar.gz
compcert-kvx-6a3f3a62452670380827f9e39dd28c5092741099.zip
Hook for MPPA_K1c (generates Risc-V code for now)
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure22
1 files changed, 22 insertions, 0 deletions
diff --git a/configure b/configure
index 7142fa6f..1d02416e 100755
--- a/configure
+++ b/configure
@@ -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