diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-30 11:24:00 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-30 11:24:00 +0200 |
| commit | 79abf4d97b1c669338bae9f3aede440a1487c0bb (patch) | |
| tree | 7cf641ea36cbdf3e40ed3c683100b8fb24dbbb00 | |
| parent | db2445b3b745abd1a26f5a832a29ca269c725277 (diff) | |
| download | compcert-2.7.tar.gz compcert-2.7.zip | |
For the release, turn off -warn-errorv2.7
Release builds should not have -warn-error so that they are resilient to addition of new warnings in newer versions of OCaml.
| -rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index 51dbd767..fcae459d 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -36,7 +36,7 @@ INCLUDES=$(patsubst %,-I %, $(DIRS)) # Control of warnings: -WARNINGS=-w +a-4-9-27 -strict-sequence -safe-string -warn-error +a #Deprication returns with ocaml 4.03 +WARNINGS=-w +a-4-9-27 -strict-sequence -safe-string #Deprication returns with ocaml 4.03 extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45 extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45 cparser/pre_parser.cmx: WARNINGS += -w -41 |