diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-29 12:16:03 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-29 16:28:18 +0200 |
commit | 338509aef7347fda5db4123d645bb52971fa8a91 (patch) | |
tree | abc51b6cf278ee71489ea28c6ff48518cf660641 /riscV/SelectOpproof.v | |
parent | 0132b8aa669adc10e6ca953d10d5c0b861f304b1 (diff) | |
download | compcert-338509aef7347fda5db4123d645bb52971fa8a91.tar.gz compcert-338509aef7347fda5db4123d645bb52971fa8a91.zip |
Remove support for x86-32 under macOS
32-bit executables cannot be built since XCode 10.0 (sep 2018).
32-bit executables cannot be executed since MacOS 10.15 (oct 2019).
Better remove x86-32 support and fail at configuration time instead of
at the end of the build.
Diffstat (limited to 'riscV/SelectOpproof.v')
0 files changed, 0 insertions, 0 deletions