diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
| commit | 4ba1b9e4165cda40e06fca3b563b7561a6cffc70 (patch) | |
| tree | 5cac8d6d6c2d2852bc3d3b34a7d73a9f4f93d100 /Makefile.extr | |
| parent | 7e8e3efdd69cee4412817f2e29f9ef687bec019b (diff) | |
| download | compcert-kvx-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.tar.gz compcert-kvx-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.zip | |
Handle the new warnings of OCaml 4.13
Warning 69 "mutable record field is never mutated":
3 occurrences in backend/IRC.ml
removed the "mutable" qualifier on these fields
Warning 70 "cannot find interface file"
many .ml files have no .mli
no strong motivation to add the .mli files
turned off the warning in Makefile.extr
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index a8949820..fc631d78 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -51,7 +51,7 @@ INCLUDES=$(patsubst %,-I %, $(DIRS)) # Control of warnings: -WARNINGS=-w +a-4-9-27 +WARNINGS=-w +a-4-9-27-70 extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45-60-67 extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45-60-67 cparser/pre_parser.cmx: WARNINGS += -w -41 |