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)