diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-01 10:42:22 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-01 10:42:22 +0200 |
commit | 99d46d24e0282c3e4c5fe8765f4e755a1b3b0253 (patch) | |
tree | 39903d10bc247366f138639f5c692de4c912221f /x86 | |
parent | 0484af01a43f5e0228a2748c7ec06e6557bd63e1 (diff) | |
download | compcert-kvx-99d46d24e0282c3e4c5fe8765f4e755a1b3b0253.tar.gz compcert-kvx-99d46d24e0282c3e4c5fe8765f4e755a1b3b0253.zip |
ccomp.force target for forcing compilation without Coq processing
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions