Dune sites used to locate the standard library

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 90a0849b1d5348c6cdd4d94ce480415b6fac5d70..67cf3618d8bf2255a942f359f550f56c7245ebaf 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,4 +1,5 @@
 (lang dune 3.6)
+(using dune_site 0.1)
 
 (name matita)
 
@@ -7,13 +8,16 @@
 (generate_opam_files true)
 
 (source
- (uri http://matita.cs.unibo.it/download.shtml))
+ (uri git://matita.cs.unibo.it/git/helm))
 
 (authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
 
 (maintainers "Claudio Sacerdoti Coen")
 
-(license GPL)
+(license GPL-2.0-or-later)
+
+
+(bug_reports "mailto:claudio.sacerdoticoen@unibo.it")
 
 (homepage http://matita.cs.unibo.it)
 
@@ -28,8 +32,11 @@
    (ulex-camlp5 (= 1.3))
    (ocaml-expat (= 1.1.0))
    (lablgtk3-sourceview3 (= 3.1.3))
+   dune-build-info
+   dune-site
    (camlp5 (= 8.00.04)))
  (tags
-  ("interactive theorem proving" "calculus of constructions")))
+  ("interactive theorem proving" "calculus of constructions"))
+ (sites (share myshare)))
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project