Makefile: adapt warnings

latest clang currently failing with -Werror
Inria-Prosecco · Oct 12, 2023 · 8f1496e · 8f1496e
1 parent 4275b6d
commit 8f1496e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -177,6 +177,7 @@ lib: verify extract
 	-I $(KRML_LIB)/dist/minimal -I dist \
 	-I $(STEEL_HOME)/include/steel \
 	-pthread -lpthread \
+	-Wno-c2x-extensions \
         -std=gnu11 \
 -shared -fPIC \
 $(FILES) \
@@ -196,7 +197,7 @@ hardened_lib: verify extract
 	-I $(KRML_LIB)/dist/minimal -I dist \
 	-I $(STEEL_HOME)/include/steel \
 	-pthread -lpthread \
-	-Wwrite-strings -Wno-c++17-extensions -Werror -march=native \
+	-Wwrite-strings -Wno-c2x-extensions -march=native \
 	-Wl,-O1,--as-needed,-z,defs,-z,relro,-z,now,-z,nodlopen,-z,text \
 -shared -fPIC \
 $(FILES) \