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 /backend/IRC.ml | |
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 'backend/IRC.ml')
0 files changed, 0 insertions, 0 deletions