dune: add yojson dependency

UQ-PAC · Mar 4, 2024 · 66c3cc4 · 66c3cc4
1 parent 7b66402
commit 66c3cc4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/asli.opam b/asli.opam
@@ -9,8 +9,6 @@ Currently supports reading/typechecking the specification,
 interactive execution of ASL statements and expressions,
 executing opcodes one at a time,
 loading ELF files and executing Arm binaries.
-fdsa
-fds
 """
 maintainer: ["Alastair Reid <[email protected]>"]
 authors: ["Alastair Reid"]
@@ -31,6 +29,7 @@ depends: [
   "dune-site"
   "lwt"
   "cohttp-lwt-unix"
+  "yojson"
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -28,6 +28,7 @@
     "dune-site"
     "lwt"
     "cohttp-lwt-unix"
+    "yojson"
   )
   (sites (share aslfiles))
 )