From 257f5288a486740187e44b6ef4cadaad7166930e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 18:15:31 -0300
Subject: package build carries menhir and rocq, docs completeness pass

---
 flake.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 8a52938..bd1d2d2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -26,6 +26,16 @@
             duneVersion = "3";
             src = self;
 
+            # The parser is menhir-generated, and the proven
+            # containment/lexicographic checkers are extracted from
+            # Rocq during the build.
+            nativeBuildInputs = [
+              ocamlPackages.menhir
+              pkgs.coq
+            ];
+            buildInputs = [
+              pkgs.coqPackages.stdlib
+            ];
             propagatedBuildInputs = [
               ocamlPackages.zarith
             ];
-- 
cgit v1.2.3