diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 11:39:36 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 11:39:36 +0200 |
commit | 0f218739cb6252012922863e92d8b12cb3e66b48 (patch) | |
tree | f132a267fbfe1783805731be33cbd804b085a132 /Changelog | |
parent | e6177a7994a0fbfbed5e11898b282429c2e54a8e (diff) | |
download | compcert-0f218739cb6252012922863e92d8b12cb3e66b48.tar.gz compcert-0f218739cb6252012922863e92d8b12cb3e66b48.zip |
Mention optional installation of .vo files
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -68,6 +68,9 @@ Coq development: - Rewrote "Implicit Arguments" and "Require" inside sections, these are obsolete in 8.8.0. - Upgraded Flocq to version 2.6.1. +- Optionally install the .vo files for reuse by other projects + (options -install-coqdev and -coqdevdir to configure script; + automatically selected if option -clightgen is given). Release 3.2, 2018-01-15 |