Fix flake.nix

AeneasVerif · Nov 21, 2023 · 5634526 · 5634526
1 parent 0a6ddc7
commit 5634526
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -101,6 +101,22 @@
           };
           buildInputs = [ ocamlPackages.calendar ];
         };
+        charon-name_matcher_parser =
+          ocamlPackages.buildDunePackage {
+            pname = "name_matcher_parser";
+            version = "0.1.0";
+            duneVersion = "3";
+            nativeBuildInputs = with ocamlPackages; [
+              menhir
+            ];
+            buildInputs = with ocamlPackages; [
+              ppx_deriving
+              visitors
+              zarith
+              menhirLib
+            ];
+            src = ./charon-ml;
+          };
         mk-charon-ml = doCheck:
           ocamlPackages.buildDunePackage {
             pname = "charon";
@@ -121,6 +137,8 @@
               zarith
               yojson
               calendar
+              menhirLib
+              charon-name_matcher_parser
             ];
             src = ./charon-ml;
             inherit doCheck;