From 12dd7431bc6aa32a4ae1cf95003523d5b878dffc Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 10 Mar 2016 18:07:26 +0100 Subject: Upgrade ocaml version needed and enable more warnings. Since the menhir version we use requires ocaml>4.02 we can also upgrade the required ocaml version to >4.02 and remove the deprecate String functions. Also we now activate all warnings except for 4,9 und 27 for regular code plus a bunch of warnings for the generated code. 4 and 9 are not really usefull and 27 is deactivated since until the usage string is printed in a way that requires no newline. Bug 18394. --- Makefile.extr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile.extr') diff --git a/Makefile.extr b/Makefile.extr index 87d5107d..324feea9 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -38,9 +38,9 @@ INCLUDES=$(patsubst %,-I %, $(DIRS)) # warning 3 = deprecated feature. Turned off for OCaml 4.02 (bytes vs strings) # warning 20 = unused function argument. There are some in extracted code -WARNINGS=-w -3 -strict-sequence -extraction/%.cmx: WARNINGS +=-w -20 -extraction/%.cmo: WARNINGS +=-w -20 +WARNINGS=-w +a-4-9-29 -strict-sequence -safe-string -warn-error +a +extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45 +extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45 COMPFLAGS+=-g $(INCLUDES) $(MENHIR_INCLUDES) $(WARNINGS) -- cgit