Merge PR #10040: Install byte version of coqidetop.

Reviewed-by: ejgallego

1 files changed, 5 insertions, 0 deletions

diff --git a/ide/dune b/ide/dune
index 5710fcbec7..7200915593 100644
--- a/ide/dune
+++ b/ide/dune
@@ -23,6 +23,11 @@
  (libraries coq.toplevel coqide-server.protocol)
  (link_flags -linkall))
 
+(install
+ (section bin)
+ (package coqide-server)
+ (files (idetop.bc as coqidetop.byte)))
+
 ; IDE Client
 (library
  (name coqide_gui)