diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-20 11:02:13 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-20 11:04:17 +0200 |
commit | b9a6a50546222269bb9445d0d21d948028b2720a (patch) | |
tree | 10c9e6d41ae2baf91b80841cc161ec884aea9f8e /flocq/Flocq_version.v | |
parent | e9b5632617b1477603883aab543994e2a1c464ce (diff) | |
download | compcert-b9a6a50546222269bb9445d0d21d948028b2720a.tar.gz compcert-b9a6a50546222269bb9445d0d21d948028b2720a.zip |
Harden the extasm.c test
Pass more info from CompCert's configuration as #define on command line.
Use this info to improve the "64 bit" detection in extasm.c.
(Before it fails with powerpc-ppc64, which has 64-bit int regs but
couldn't be detected with #ifdefs.)
Diffstat (limited to 'flocq/Flocq_version.v')
0 files changed, 0 insertions, 0 deletions