From 54977121ab76d90bf9b3916d40bb57f58bdc73a4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Fri, 1 Apr 2022 16:51:16 +0200
Subject: Declared motus code in the dune-project

---
 dune-project | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/dune-project b/dune-project
index c2c5fad..090795c 100755
--- a/dune-project
+++ b/dune-project
@@ -33,6 +33,16 @@
    )
   )
 
+(package 
+  (name motus)
+  (synopsis "Motus solver")
+  (depends
+   (ocaml (>= 4.10.0))
+   (brr (>= 0.0.1))
+   (ppx_deriving (>= 5.2.1))
+   )
+  )
+
 (package 
   (name viz.js)
   (synopsis "Graph viewer")
-- 
cgit v1.2.3