diff options
Diffstat (limited to 'modal/ocaml/_build/default/modal.dune-package')
-rw-r--r-- | modal/ocaml/_build/default/modal.dune-package | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/modal/ocaml/_build/default/modal.dune-package b/modal/ocaml/_build/default/modal.dune-package new file mode 100644 index 0000000..4cddf92 --- /dev/null +++ b/modal/ocaml/_build/default/modal.dune-package @@ -0,0 +1,70 @@ +(lang dune 3.18) +(name modal) +(version 0.1.0) +(sections (lib .) (libexec .) (bin ../../bin) (doc ../../doc/modal)) +(files + (lib + (META + ast.ml + dune-package + eval.ml + modal.a + modal.cma + modal.cmi + modal.cmt + modal.cmx + modal.cmxa + modal.ml + modal__Ast.cmi + modal__Ast.cmt + modal__Ast.cmx + modal__Eval.cmi + modal__Eval.cmt + modal__Eval.cmx + modal__Parse.cmi + modal__Parse.cmt + modal__Parse.cmx + modal__Program.cmi + modal__Program.cmt + modal__Program.cmx + opam + parse.ml + program.ml)) + (libexec (modal.cmxs)) + (bin (modal)) + (doc (README.md))) +(library + (name modal) + (kind normal) + (archives (byte modal.cma) (native modal.cmxa)) + (plugins (byte modal.cma) (native modal.cmxs)) + (native_archives modal.a) + (main_module_name Modal) + (modes byte native) + (modules + (wrapped + (group + (alias + (obj_name modal) + (visibility public) + (kind alias) + (source (path Modal) (impl (path modal.ml-gen)))) + (name Modal) + (modules + (module + (obj_name modal__Ast) + (visibility public) + (source (path Ast) (impl (path ast.ml)))) + (module + (obj_name modal__Eval) + (visibility public) + (source (path Eval) (impl (path eval.ml)))) + (module + (obj_name modal__Parse) + (visibility public) + (source (path Parse) (impl (path parse.ml)))) + (module + (obj_name modal__Program) + (visibility public) + (source (path Program) (impl (path program.ml)))))) + (wrapped true)))) |