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 /test/spass/LICENSE.TXT | |
parent | 9b7e7d34ec2cf905d8c0a71c07d1dcddbb0169a5 (diff) | |
download | compcert-e6177a7994a0fbfbed5e11898b282429c2e54a8e.tar.gz compcert-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 'test/spass/LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions