From fd69d80c2fdbfda07d126ed9cc1e555d922e829c Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Fri, 9 Feb 2024 15:53:31 +1000
Subject: [PATCH] asli: add dune-site dependency.

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

diff --git a/aslp/asli.nix b/aslp/asli.nix
index d0fa526..cb8b6ef 100644
--- a/aslp/asli.nix
+++ b/aslp/asli.nix
@@ -5,6 +5,7 @@
 , ott
 , z3
   # ocamlPackages
+, dune-site
 , alcotest
 , linenoise
 , menhir
@@ -29,7 +30,7 @@ buildDunePackage {
   };
 
   checkInputs = [ alcotest ];
-  buildInputs = [ linenoise ];
+  buildInputs = [ linenoise dune-site ];
   nativeBuildInputs = [ ott menhir ];
   propagatedBuildInputs = [ z3 pcre pprint zarith ocaml_z3 ocaml_pcre ];