From 69a24bd066bf29ea2437afd84d73630e8b93a55c Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 24 Sep 2013 18:00:13 +0000
Subject: Fixing ocamldebug compilation by adding thread linking.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16801 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index 8100cab729..902f84202e 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -739,7 +739,7 @@ dev/printers.cma: | dev/printers.mllib.d
 	$(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) $(SYSCMA) $(P4CMA) $^ -o test-printer
 	@rm -f test-printer
 	$(SHOW)'OCAMLC -a $@'   
-	$(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) $^ -linkall -a -o $@
+	$(HIDE)$(OCAMLC) $(MLINCLUDES) $(BYTEFLAGS) $(SYSCMA) $^ -linkall -a -o $@
 
 grammar/grammar.cma: | grammar/grammar.mllib.d
 	$(SHOW)'Testing $@'
-- 
cgit v1.2.3