diff options
| author | ppedrot | 2013-09-24 18:00:13 +0000 |
|---|---|---|
| committer | ppedrot | 2013-09-24 18:00:13 +0000 |
| commit | 69a24bd066bf29ea2437afd84d73630e8b93a55c (patch) | |
| tree | e9b8361ad45d5d36314c78371144d867e764c5c8 | |
| parent | a2bb6f5358df6be7f1089a1a06feaf42a6c81257 (diff) | |
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
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
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 $@' |