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 /powerpc/Conventions1.v | |
| parent | e76c156250cabb9da97e105098208478eb9bdd2d (diff) | |
| download | compcert-kvx-ca2ebae012d6cdcc19d0a01f54f3dad614de8e68.tar.gz compcert-kvx-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 'powerpc/Conventions1.v')
0 files changed, 0 insertions, 0 deletions