diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 10:28:37 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 10:28:37 +0100 |
| commit | e306714815c33121ee165b5e8825ca1c8187fc96 (patch) | |
| tree | f971b2e1e289b89f4e46547a4b2f2a9c5bace183 /arm/Op.v | |
| parent | 9d06ed97f493f89ab41f1dc3962840eadacd3865 (diff) | |
| download | compcert-e306714815c33121ee165b5e8825ca1c8187fc96.tar.gz compcert-e306714815c33121ee165b5e8825ca1c8187fc96.zip | |
When installing the Coq development, also install coq-native generated files
If the Coq version used supports native compilation, `.coq-native`
directories are generated during the build, and they need to be
installed along the `.vo` files.
Fixes: #476
Diffstat (limited to 'arm/Op.v')
0 files changed, 0 insertions, 0 deletions