Coccinelle release 1.0.0-rc15

[bpt/coccinelle.git] / ctl / Makefile

diff --git a/ctl/Makefile b/ctl/Makefile
index 6120e3c..c67d3ab 100644 (file)
--- a/ctl/Makefile
+++ b/ctl/Makefile
@@ -39,10 +39,10 @@ INCLUDES=-I ../commons -I ../commons/ocamlextra -I ../globals
 #The Caml compilers.
 #for warning:  -w A
 #for profiling:  -p -inline 0   with OCAMLOPT
-OCAMLCFLAGS ?= -g -dtypes
-OPTFLAGS ?= -g -dtypes
-OCAMLC_CMD=$(OCAMLC) -thread $(OCAMLCFLAGS) $(INCLUDES)
-OCAMLOPT_CMD=$(OCAMLOPT) -thread $(OPTFLAGS) $(INCLUDES)
+OCAMLCFLAGS ?= -g
+OPTFLAGS ?= -g
+OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
+OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
 OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDES)
 OCAMLMKTOP_CMD=$(OCAMLMKTOP) -g -custom $(INCLUDES)