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]
---
 Makefile.dune | 8 +++++++-
 topbin/dune   | 5 +++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/Makefile.dune b/Makefile.dune
index da4c59af75..7dd9914c6e 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -3,7 +3,7 @@
 
 .PHONY: help voboot states world watch check          # Main developer targets
 .PHONY: coq coqide coqide-server                      # Package targets
-.PHONY: quickbyte quickopt                            # Partial / quick developer targets
+.PHONY: quickbyte quickopt quickide                   # Partial / quick developer targets
 .PHONY: refman-html stdlib-html apidoc                # Documentation targets
 .PHONY: test-suite release                            # Accesory targets
 .PHONY: ocheck trunk ireport clean                    # Maintenance targets
@@ -27,6 +27,7 @@ help:
 	@echo ""
 	@echo "  - quickbyte: build main ML files [coqtop + plugins + ide + printers] using the bytecode compiler"
 	@echo "  - quickopt:  build main ML files [coqtop + plugins + ide + printers] using the optimizing compiler"
+	@echo "  - quickide:  build main IDE files [client + server + prelude] using the optimizing compiler"
 	@echo ""
 	@echo "  - test-suite:  run Coq's test suite"
 	@echo "  - refman-html: build Coq's reference manual [HTML version]"
@@ -77,6 +78,11 @@ quickbyte: voboot
 quickopt: voboot
 	dune build $(DUNEOPT) $(QUICKOPT_TARGETS)
 
+quickide: states
+	dune build $(DUNEOPT) @topworkers
+	dune build $(DUNEOPT) coqide-server.install
+	dune build $(DUNEOPT) coqide.install
+
 test-suite: voboot
 	dune runtest --no-buffer $(DUNEOPT)
 
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