From d0c1236bfa4b8ee39e76803d41f9eb7c9d2d0c83 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 21 Feb 2019 15:23:56 +0100
Subject: [make] coqide target needs STM workers

---
 Makefile.ide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.ide')

diff --git a/Makefile.ide b/Makefile.ide
index 23ce83d263..db1cc3746d 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -70,7 +70,7 @@ SOURCEVIEWSHARE=$(shell pkg-config --variable=prefix gtksourceview-2.0)/share
 .PHONY: ide-toploop ide-byteloop ide-optloop
 
 # target to build CoqIde (native version) and the stuff needed to lauch it
-coqide: coqide-files coqide-opt theories/Init/Prelude.$(VO)
+coqide: coqide-files coqide-opt theories/Init/Prelude.$(VO) $(TOPBIN)
 
 # target to build CoqIde (in native and byte versions), and no more
 # NB: this target is used in the opam package coq-coqide
-- 
cgit v1.2.3