Coccinelle release 1.0.0-rc15

[bpt/coccinelle.git] / bundles / menhirLib / Makefile

diff --git a/bundles/menhirLib/Makefile b/bundles/menhirLib/Makefile
index b174c61..f620585 100644 (file)
--- a/bundles/menhirLib/Makefile
+++ b/bundles/menhirLib/Makefile
@@ -9,16 +9,16 @@ ifneq ($(MAKECMDGOALS),distclean)
 include ../../Makefile.config
 endif
 
-OCAMLCFLAGS ?= -g -dtypes
-OPTFLAGS ?= -g -dtypes
+OCAMLCFLAGS ?= -g
+OPTFLAGS ?= -g
 
 VERSION=20120123
 MENHIRDIR=menhir-$(VERSION)
 MENHIRLIB=$(MENHIRDIR)/src
 MENHIRMARKER=$(MENHIRLIB)/.marker
 
-OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) -I $(MENHIRLIB) -thread
-OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) -I $(MENHIRLIB) -thread
+OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) -I $(MENHIRLIB)
+OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) -I $(MENHIRLIB)
 OCAMLDEP_CMD=$(OCAMLDEP) -I $(MENHIRLIB)
 
 all: .depend