From 2a435ff6fdb682de0161ad4ac5893599c363bb4b Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Fri, 21 Feb 2014 12:24:33 +0100
Subject: make coqide-binaries does not build coqtop anymore

---
 Makefile.build | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index d45a0cbd3c..312db8ec9e 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -315,20 +315,20 @@ coqide-opt:  $(COQIDEBYTE) $(COQIDE)
 coqide-files: $(IDEFILES)
 
 ifeq ($(HASCOQIDE),opt)
-$(COQIDE): $(LINKIDEOPT) | $(COQTOPEXE)
+$(COQIDE): $(LINKIDEOPT)
 	$(SHOW)'OCAMLOPT -o $@'
 	$(HIDE)$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -o $@ unix.cmxa lablgtk.cmxa \
-		lablgtksourceview2.cmxa str.cmxa $(IDEFLAGS:.cma=.cmxa) $(LINKIDEOPT)
+		lablgtksourceview2.cmxa str.cmxa $(IDEFLAGS:.cma=.cmxa) $^
 	$(STRIP) $@
 else
 $(COQIDE): $(COQIDEBYTE)
 	cp $< $@
 endif
 
-$(COQIDEBYTE): $(LINKIDE) | $(COQTOPBYTE)
+$(COQIDEBYTE): $(LINKIDE)
 	$(SHOW)'OCAMLC -o $@'
 	$(HIDE)$(OCAMLC) $(COQIDEFLAGS) $(BYTEFLAGS) -o $@ unix.cma lablgtk.cma \
-	        lablgtksourceview2.cma str.cma $(IDEFLAGS) $(LINKIDE)
+	        lablgtksourceview2.cma str.cma $(IDEFLAGS) $^
 
 # install targets
 
-- 
cgit v1.2.3