asli: add ppx_blob dependency

required by UQ-PAC/aslp#92
katrinafyi · Jun 21, 2024 · bb07e0e · bb07e0e
1 parent e90bac7
commit bb07e0e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/aslp/asli.nix b/aslp/asli.nix
@@ -19,6 +19,7 @@
 , cohttp-lwt-unix
 , mlbdd
 , yojson
+, ppx_blob
 , asli
 , testers
 }:
@@ -38,7 +39,7 @@ buildDunePackage {
 
   checkInputs = [ alcotest ];
   nativeCheckInputs = [ jdk ];
-  buildInputs = [ mlbdd linenoise ];
+  buildInputs = [ mlbdd linenoise ppx_blob ];
   nativeBuildInputs = [ ott menhir ];
   propagatedBuildInputs = [ dune-site z3 pcre pprint zarith ocaml_z3 ocaml_pcre yojson cohttp-lwt-unix ];