From bb07e0e3e44df59663fb09b42859a9a3b97e9e5c Mon Sep 17 00:00:00 2001
From: Kait Lam <k@rina.fyi>
Date: Fri, 21 Jun 2024 19:09:50 +1000
Subject: [PATCH] asli: add ppx_blob dependency

required by https://github.com/UQ-PAC/aslp/pull/92
---
 aslp/asli.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/aslp/asli.nix b/aslp/asli.nix
index 6675199..dd2e0ea 100644
--- 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 ];