From f4de40d7dc0effff418433889a96c5e55dec94fc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 28 Jul 2022 16:51:43 +0200
Subject: [PATCH] feat: turn on `warningAsError`

---
 nix/bootstrap.nix  | 1 +
 src/stdlib.make.in | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index 759bc22cf9..c714e9c43d 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -85,6 +85,7 @@ rec {
         # use same stage for retrieving dependencies
         lean-leanDeps = stage0;
         lean-final = self;
+        leanFlags = [ "-DwarningAsError=true" ];
       } ({
         src = ../src;
         fullSrc = ../.;
diff --git a/src/stdlib.make.in b/src/stdlib.make.in
index 841ad8695c..d0e836826a 100644
--- a/src/stdlib.make.in
+++ b/src/stdlib.make.in
@@ -13,7 +13,7 @@ LEANMAKE_OPTS=\
 	LIB_OUT="${LIB}/lean"\
 	OLEAN_OUT="${LIB}/lean"\
 	BIN_OUT="${CMAKE_BINARY_DIR}/bin"\
-	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS}"\
+	LEAN_OPTS+="${LEAN_EXTRA_MAKE_OPTS} -DwarningAsError=true"\
 	LEANC_OPTS+="${LEANC_OPTS}"\
 	LEAN_AR="${CMAKE_AR}"\
 	MORE_DEPS+="${PREV_STAGE}/bin/lean${CMAKE_EXECUTABLE_SUFFIX}"\