Preliminary support for dune

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
new file mode 100644 (file)
index 0000000..99912ea
--- /dev/null
+++ b/matita/dune-project
@@ -0,0 +1,26 @@
+(lang dune 3.6)
+
+(name matita)
+
+(generate_opam_files true)
+
+(source
+ (github username/reponame))
+
+(authors "Author Name")
+
+(maintainers "Maintainer Name")
+
+(license LICENSE)
+
+(documentation https://url/to/documentation)
+
+(package
+ (name matita)
+ (synopsis "A short synopsis")
+ (description "A longer description")
+ (depends ocaml dune)
+ (tags
+  (topics "to describe" your project)))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project