diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:28:01 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:42:46 +0100 |
commit | ca2ebae012d6cdcc19d0a01f54f3dad614de8e68 (patch) | |
tree | d98e73609986f0a021deb28b4353bfb6be57a0c2 /cparser | |
parent | e76c156250cabb9da97e105098208478eb9bdd2d (diff) | |
download | compcert-ca2ebae012d6cdcc19d0a01f54f3dad614de8e68.tar.gz compcert-ca2ebae012d6cdcc19d0a01f54f3dad614de8e68.zip |
Configure the correct archiver to build runtime/libcompcert.a
- Use `${toolprefix}ar` instead of `ar` so as to match the choice
of C compiler (as proposed by Michael Soegtrop in PR #380)
- Use the Diab archiver `dar` if configured for powerpc-eabi-diab
Closes: #380
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions