aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-26 15:31:46 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-26 15:31:46 +0100
commit3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60 (patch)
tree62a068b25a7e1052f7c85de34c12c92f372e5712 /configure
parentf17faa9e318cb6e6c75b3c22387f13e57a9828f7 (diff)
downloadcompcert-kvx-3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60.tar.gz
compcert-kvx-3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60.zip
Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow that
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index e511704f..a116ef25 100755
--- a/configure
+++ b/configure
@@ -799,6 +799,12 @@ RESPONSEFILE="none"
EOF
fi
+if [ "$arch" = "mppa_k1c" ]; then
+cat >> Makefile.config <<EOF
+ARCHDIRS=$arch $arch/lib
+EOF
+fi
+
#
# Clean up target-dependent files to force their recompilation
#