From feb11653d14e290100851c28554a64029868c789 Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Mon, 18 Sep 2023 15:40:12 +0100 Subject: [PATCH] dune: make Coq warnings fatal when building locally Signed-off-by: Ali Caglayan --- theories/dune | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/theories/dune b/theories/dune index e033640db0a..67e5ad7f73b 100644 --- a/theories/dune +++ b/theories/dune @@ -10,5 +10,10 @@ (modules :standard) (flags -noinit -indices-matter -color on)) -; TODO: Tests -; Prob need to move tests into tests folder +; On the dev profile, we want to use the -w +all flag to make sure +; that all warnings are fatal. + +(env + (dev + (coq + (flags -w +all))))