diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-26 15:31:46 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-26 15:31:46 +0100 |
commit | 3d38bf85c8ac3a83fe7aaeb5e01bb9a8403e6a60 (patch) | |
tree | 62a068b25a7e1052f7c85de34c12c92f372e5712 /configure | |
parent | f17faa9e318cb6e6c75b3c22387f13e57a9828f7 (diff) | |
download | compcert-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-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 # |