diff options
| -rw-r--r-- | bindings/ocaml/Makefile.ocaml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bindings/ocaml/Makefile.ocaml b/bindings/ocaml/Makefile.ocaml index 6008c3a..9466c23 100644 --- a/bindings/ocaml/Makefile.ocaml +++ b/bindings/ocaml/Makefile.ocaml @@ -42,9 +42,10 @@ OCAMLAFLAGS += $(patsubst %,-cclib %, \ $(shell $(LLVM_CONFIG) --ldflags)) \ $(UsedLibs)) -ifneq ($(ENABLE_OPTIMIZED),1) - OCAMLDEBUGFLAG := -g -endif +# -g was introduced in 3.10.0. +#ifneq ($(ENABLE_OPTIMIZED),1) +# OCAMLDEBUGFLAG := -g +#endif Compile.CMI := $(strip $(OCAMLC) -c $(OCAMLCFLAGS) $(OCAMLDEBUGFLAG) -o) Compile.CMO := $(strip $(OCAMLC) -c $(OCAMLCFLAGS) $(OCAMLDEBUGFLAG) -o) |