From bf385a1134a0b0d4aba971c7b734487937e26b2c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 15 Nov 2018 15:07:10 +0100
Subject: [dune] Add quickide target for building of IDE.

Note that `states` doesn't work reliably yet, but that is a separate
problem that will be fixed in Dune 1.6.

[Or we could also fix it improving the rules in envars.ml]
---
 topbin/dune | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'topbin')

diff --git a/topbin/dune b/topbin/dune
index f42e4d6fc2..e35a3de54b 100644
--- a/topbin/dune
+++ b/topbin/dune
@@ -36,3 +36,8 @@
  (modules :standard \ coqtop_byte_bin coqtop_bin coqc_bin)
  (libraries coq.toplevel)
  (link_flags -linkall))
+
+; Workers installed targets
+(alias
+ (name topworkers)
+ (deps %{bin:coqqueryworker.opt} %{bin:coqtacticworker.opt} %{bin:coqproofworker.opt}))
-- 
cgit v1.2.3