[dune] [ide] Install data files.

We should install the files in `share/coqide` instead of the current
`coq` location; but we defer this change until we are more advanced in
the make-phase out.

Fixes: #8953

1 files changed, 11 insertions, 0 deletions

diff --git a/ide/dune b/ide/dune
index aeb5424aff..5e3886624c 100644
--- a/ide/dune
+++ b/ide/dune
@@ -43,3 +43,14 @@
  (package coqide)
  (modules coqide_main)
  (libraries coqide.gui))
+
+; FIXME: we should install those in share/coqide. We better do this
+; once the make-based system has been phased out.
+(install
+ (section share_root)
+ (package coqide)
+ (files
+  (coq.png as coq/coq.png)
+  (coq_style.xml as coq/coq_style.xml)
+  (coq.lang as coq/coq.lang)
+  (coq-ssreflect.lang as coq/coq-ssreflect.lang)))