From d797153f3e44279dd61804c3d2e75ec7892f38bf Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Sun, 11 Jan 2015 18:44:05 +0100
Subject: typo in coqide compilation rules after -thread requirement

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

diff --git a/Makefile.build b/Makefile.build
index 74770dabbb..f4b5a63ae1 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -307,7 +307,7 @@ plugins/micromega/csdpcert$(EXE): $(CSDPCERTCMO:.cmo=$(BESTOBJ))
 # target to build CoqIde
 coqide: coqide-files coqide-binaries theories/Init/Prelude.vo
 
-COQIDEFLAGS=$(addprefix -I , $(IDESRCDIRS)) $(COQIDEINCLUDES) -thread
+COQIDEFLAGS=$(addprefix -I , $(IDESRCDIRS)) $(COQIDEINCLUDES)
 
 .SUFFIXES:.vo
 
@@ -390,7 +390,7 @@ $(COQIDEINAPP): ide/macos_prehook.cmx $(LINKIDEOPT) | $(COQIDEAPP)/Contents
 	$(SHOW)'OCAMLOPT -o $@'
 	$(HIDE)$(OCAMLOPT) $(COQIDEFLAGS) $(OPTFLAGS) -o $@ \
 		unix.cmxa lablgtk.cmxa lablgtksourceview2.cmxa str.cmxa \
-		$(IDEFLAGS:.cma=.cmxa) $^
+		threads.cmxa $(IDEFLAGS:.cma=.cmxa) $^
 	$(STRIP) $@
 
 $(COQIDEAPP)/Contents/Resources/share: $(COQIDEAPP)/Contents
-- 
cgit v1.2.3