From bf21ac7831ed2dc830ad66d1d6023e12dbb5dcaf Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 15 Jun 2019 16:57:39 +0200
Subject: [dune] Install .byte version of coqidetop like for coqtop.

---
 ide/dune | 5 +++++
 1 file changed, 5 insertions(+)

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)
-- 
cgit v1.2.3