aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2014-12-17 18:21:25 +0100
committerPierre-Marie Pédrot2014-12-17 18:21:25 +0100
commit6aa2cd90c3091ebe397d83e1d70caa6237b4b551 (patch)
tree873318058931a54d5a8cfc0fd555210a19604202
parentfba1f0ed91aff372234b5a95422ee18f1730522f (diff)
Fixing Makefile so that it puts the -thread flag on the right place.
-rw-r--r--Makefile.build6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.build b/Makefile.build
index bd236682ee..74770dabbb 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -92,13 +92,13 @@ SHOW := $(if $(VERBOSE),@true "",@echo "")
HIDE := $(if $(VERBOSE),,@)
LOCALINCLUDES=$(addprefix -I , $(SRCDIRS) )
-MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB) -thread
+MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
OCAMLC := $(OCAMLC) $(CAMLFLAGS)
OCAMLOPT := $(OCAMLOPT) $(CAMLFLAGS)
-BYTEFLAGS=$(CAMLDEBUG) $(USERFLAGS)
-OPTFLAGS=$(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS)
+BYTEFLAGS=-thread $(CAMLDEBUG) $(USERFLAGS)
+OPTFLAGS=-thread $(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS)
DEPFLAGS= $(LOCALINCLUDES) -I ide -I ide/utils
ifeq ($(ARCH),Darwin)