diff options
| author | Hendrik Tews | 2020-04-03 23:33:54 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-15 18:05:31 +0200 |
| commit | 9679c911c58cd96812e3e78b6eb2649dc395fee4 (patch) | |
| tree | bab1959bb6f26931eafe0292eb57a88430921962 /acl2 | |
| parent | 97b8d4fcdcd67d49acd59389795fc48d9fa8f1d0 (diff) | |
coq-par-compile: support -vos for coq >= 8.11 and default setting change
This commit adds support for the new -vos compilation. For coq >=
8.11 only -vos can be used, depending on the config option
coq-compile-vos. For coq < 8.11 only -quick/-vio is used,
depending on option coq-compile-quick, as before. For a smooth
upgrade path, if coq-compile-vos has not been configured, the
users intention on whether to use -vos or not for coq >= 8.11 is
derived from coq-compile-quick.
Some defaults have been changed:
- parallel background compilation is the default now in case
coq-compile-before-require is enabled.
- for coq < 8.11, quick/vio compilation with delayed vio-to-vo
conversion is now the default
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions