aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2020-02-03 17:45:02 +0100
committerCyril SIX <cyril.six@kalray.eu>2020-02-03 17:45:02 +0100
commitaa042a1654698d7bfd1e3cd8cf7abacd528e7133 (patch)
treec327e925a86868175a47ca93cbb5661c05ca5322
parent7dca7590aa212806ee939244b253a6a067f34bfc (diff)
downloadcompcert-kvx-aa042a1654698d7bfd1e3cd8cf7abacd528e7133.tar.gz
compcert-kvx-aa042a1654698d7bfd1e3cd8cf7abacd528e7133.zip
Using k1-elf-as instead of k1-cos-gcc for assembling
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index b8555973..716e5e81 100755
--- a/configure
+++ b/configure
@@ -457,8 +457,8 @@ if test "$arch" = "mppa_k1c"; then
fi
osupper=`echo $os|tr a-z A-Z`
k1base="k1-$os"
- casm="$k1base-gcc"
- casm_options="$model_options -c"
+ casm="k1-elf-as"
+ casm_options="$model_options"
cc="$k1base-gcc $model_options"
clinker="$k1base-gcc"
bindir="$HOME/.usr/bin"