From ddece4b6c28b568984c23bdae74ef62321781c2f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 23 Apr 2019 17:14:08 +0200
Subject: [dune] Build coqc.byte executable.

This may be useful in a few cases, like testing compilation with
byte-plugins; I chose to install it globally tho it is more of a
developer target.
---
 topbin/dune | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/topbin/dune b/topbin/dune
index e35a3de54b..3b861afe78 100644
--- a/topbin/dune
+++ b/topbin/dune
@@ -28,6 +28,11 @@
  (libraries coq.toplevel)
  (link_flags -linkall))
 
+(install
+ (section bin)
+ (package coq)
+ (files (coqc_bin.bc as coqc.byte)))
+
 ; Workers
 (executables
  (names coqqueryworker_bin coqtacticworker_bin coqproofworker_bin)
-- 
cgit v1.2.3