aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure25
1 files changed, 19 insertions, 6 deletions
diff --git a/configure b/configure
index a9bf25a6..43c90b47 100755
--- a/configure
+++ b/configure
@@ -55,7 +55,8 @@ 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)
+ k1c-mbr (Kalray K1c, bare runtime)
+ k1c-cos (Kalray K1c, ClusterOS)
manual (edit configuration file by hand)
For x86 targets, the "x86_32-" prefix can also be written "ia32-" or "i386-".
@@ -440,15 +441,27 @@ if test "$arch" = "mppa_k1c"; then
#model_options=-m64
model_options=
abi="standard"
- casm="k1-mbr-gcc"
+ if test "$target" = "mbr";
+ then os="mbr";
+ elif test "$target" = "cos";
+ then os="cos";
+ elif test "$target" = "elf";
+ then os="elf";
+ else
+ echo "Unknown K1c backend"
+ exit 1
+ fi
+ osupper=`echo $os|tr a-z A-Z`
+ k1base="k1-$os"
+ casm="$k1base-gcc"
casm_options="$model_options -c"
- cc="k1-mbr-gcc $model_options"
- clinker="k1-mbr-gcc"
+ cc="$k1base-gcc $model_options"
+ clinker="$k1base-gcc"
bindir="$HOME/.usr/bin"
libdir="$HOME/.usr/lib"
clinker_options="$model_options -L$libdir -Wl,-rpath=$libdir"
- cprepro="k1-mbr-gcc"
- cprepro_options="$model_options -std=c99 -E -include ccomp_k1c_fixes.h"
+ cprepro="$k1base-gcc"
+ cprepro_options="$model_options -D __K1C_$osupper__ -std=c99 -E -include ccomp_k1c_fixes.h"
libmath="-lm"
system="linux"
fi