diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-03-05 11:45:57 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-03-05 11:45:57 +0100 |
| commit | 30cb8bfbe8c4695a83b11cdaa409ccef1bac0395 (patch) | |
| tree | c3db384960c5e952a171734eaf2281cc6bcae4b1 /extraction/extraction.v | |
| parent | f88828d8024fe2adf9dd76d3c8c59c36fbe1a599 (diff) | |
| download | compcert-30cb8bfbe8c4695a83b11cdaa409ccef1bac0395.tar.gz compcert-30cb8bfbe8c4695a83b11cdaa409ccef1bac0395.zip | |
configure: add -ignore-ocaml-version option
Also: produce better "unsupported" message for OCaml 5.
Fixes: #477
Diffstat (limited to 'extraction/extraction.v')
0 files changed, 0 insertions, 0 deletions