diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-30 11:10:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-30 11:10:59 +0200 |
| commit | e6177a7994a0fbfbed5e11898b282429c2e54a8e (patch) | |
| tree | 8187820c6a93fd268af12c9b45c91df677c6ab03 /Changelog | |
| parent | 9b7e7d34ec2cf905d8c0a71c07d1dcddbb0169a5 (diff) | |
| download | compcert-kvx-e6177a7994a0fbfbed5e11898b282429c2e54a8e.tar.gz compcert-kvx-e6177a7994a0fbfbed5e11898b282429c2e54a8e.zip | |
Install Coq development (.vo files) if requested (#232)
.vo files are installed if configure options
-install-coqdev or -clightgen or -coqdevdir are given.
Installation directory is $(PREFIX)/lib/compcert/coq by default and
can be changed by configure option -coqdevdir.
Closes: #227
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions