Use dune-build-info to put the version in buildTimeConf

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index a40f5a38fc11b3e6187ee543ed66da5f9012f51b..8a85936cced1b59e62387d8508c65eed26880068 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -31,6 +31,7 @@
    (ulex-camlp5 (= 1.3))
    (ocaml-expat (= 1.1.0))
    (lablgtk3-sourceview3 (= 3.1.3))
+   dune-build-info
    (camlp5 (= 8.00.04)))
  (tags
   ("interactive theorem proving" "calculus of constructions")))