about summary refs log tree commit diff stats
path: root/modal/ocaml/_build/default/modal.dune-package
diff options
context:
space:
mode:
Diffstat (limited to 'modal/ocaml/_build/default/modal.dune-package')
-rw-r--r--modal/ocaml/_build/default/modal.dune-package70
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))))