From 54977121ab76d90bf9b3916d40bb57f58bdc73a4 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly 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(+) (limited to 'dune-project') 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