From 5619dd4d6533672fc1582a00901d7e4aacac1f47 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 30 Dec 2019 17:48:56 +0700 Subject: [PATCH] Build with dune Signed-off-by: Rudi Grinberg --- dune | 7 +++++++ dune-project | 2 ++ 2 files changed, 9 insertions(+) create mode 100644 dune create mode 100644 dune-project diff --git a/dune b/dune new file mode 100644 index 0000000..c45ae41 --- /dev/null +++ b/dune @@ -0,0 +1,7 @@ +(include_subdirs unqualified) + +(library + (name libmonda) + (libraries compiler-libs) + (modules_without_implementation debugger) + (wrapped false)) diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..96926d9 --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(name libmonda) +(lang dune 2.0)