aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
diff options
context:
space:
mode:
authorEnrico Tassi2018-10-03 16:29:09 +0200
committerEnrico Tassi2018-10-03 16:34:23 +0200
commitd5d57b5e5cb7c39f2ed7312fe1464873ba795c7e (patch)
tree4b21e567a67b23432826e5bbffc47b1b04b07ddf /Makefile.build
parent10477a2b31e9cddc697b03f75adcc5e42acb0e85 (diff)
[build] enable warnings ok kernel/% in make based builds
This is to sync with the dune build system that sets these warnings
Diffstat (limited to 'Makefile.build')
-rw-r--r--Makefile.build6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build
index 0faa18b059..fdb5c7023d 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 $<