From 1d5adde1ea0d1256ae562b1b3177c1371dd6252e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Wed, 4 Feb 2026 16:56:39 +0100
Subject: [PATCH] Waterproof proof mode

---
 Makefile       | 2 +-
 coq-waterproof | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e0faf7d..5b5e7f1 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ PKG_SET=coq-lsp/coq-lsp.install rocq/coq-core.install rocq/rocq-core.install roc
 
 .PHONY: build
 build: rocq/config/coq_config.ml
-	dune build $(PKG_SET)
+	dune build $(DUNEOPT) $(PKG_SET)
 
 # Ideally we could regenerate this on Rocq updates, usually not needed
 rocq/config/coq_config.ml: rocq
diff --git a/coq-waterproof b/coq-waterproof
index 99ad6ff..004b4f2 160000
--- a/coq-waterproof
+++ b/coq-waterproof
@@ -1 +1 @@
-Subproject commit 99ad6ff78fa700c84ba0cb1d1bda27d8e0f11e1a
+Subproject commit 004b4f25701a160bf842a5b225f548f1431013c7