diff options
| author | Maxime Dénès | 2018-10-11 11:33:52 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-10-11 11:33:52 +0200 |
| commit | 2bdc3a06c5620bf4796501562886b26f8c1ef895 (patch) | |
| tree | bddd4fa88637f9885240910a6ca2762d5165c6e6 | |
| parent | 65150d6dba04159dddc79acea7e1b906b817a413 (diff) | |
| parent | d5d57b5e5cb7c39f2ed7312fe1464873ba795c7e (diff) | |
Merge PR #8644: [build] enable warnings on kernel/% in make based builds
| -rw-r--r-- | Makefile.build | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index ee758fcc5f..4d19f9a2e1 100644 --- a/Makefile.build +++ b/Makefile.build @@ -685,6 +685,8 @@ plugins/nsatz/%.cmi: plugins/nsatz/%.mli $(SHOW)'OCAMLC $<' $(HIDE)$(OCAMLC) $(COND_BYTEFLAGS) -package unix,num -c $< +kernel/%.cmi: COND_BYTEFLAGS+=-w +a-4-44-50 + %.cmi: %.mli $(SHOW)'OCAMLC $<' $(HIDE)$(OCAMLC) $(COND_BYTEFLAGS) -c $< @@ -697,6 +699,8 @@ plugins/nsatz/%.cmo: plugins/nsatz/%.ml $(SHOW)'OCAMLC $<' $(HIDE)$(OCAMLC) $(COND_BYTEFLAGS) -package unix,num -c $< +kernel/%.cmo: COND_BYTEFLAGS+=-w +a-4-44-50 + %.cmo: %.ml $(SHOW)'OCAMLC $<' $(HIDE)$(OCAMLC) $(COND_BYTEFLAGS) -c $< @@ -742,6 +746,8 @@ plugins/%.cmx: plugins/%.ml $(SHOW)'OCAMLOPT $<' $(HIDE)$(OCAMLOPT) $(COND_OPTFLAGS) $(HACKMLI) $($(@:.cmx=_FORPACK)) -c $< +kernel/%.cmx: COND_OPTFLAGS+=-w +a-4-44-50 + %.cmx: %.ml $(SHOW)'OCAMLOPT $<' $(HIDE)$(OCAMLOPT) $(COND_OPTFLAGS) $(HACKMLI) -c $< |