package build carries menhir and rocq, docs completeness pass

1 files changed, 10 insertions, 0 deletions

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
             ];