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

[helm.git] / matita / matita / dune

diff --git a/matita/matita/dune b/matita/matita/dune
index 34ad60b8fc7b0cb1bd71127c5e56b8c26f34e7e5..55983d8e6bc40dbffd37ed7edda32a0d2a428834 100644 (file)
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -1,7 +1,7 @@
 (library
  (name matita_cli)
  (wrapped false)
- (libraries helm_grafite_engine lablgtk3-sourceview3)
+ (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info)
  (modules 
    buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))