Dune sites used to locate the standard library

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 8a85936cced1b59e62387d8508c65eed26880068..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)
 
@@ -32,8 +33,10 @@
    (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