summaryrefslogtreecommitdiffstats
path: root/src/OCamlMakefile
diff options
context:
space:
mode:
Diffstat (limited to 'src/OCamlMakefile')
-rw-r--r--src/OCamlMakefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/OCamlMakefile b/src/OCamlMakefile
index 342d4c4..cc71121 100644
--- a/src/OCamlMakefile
+++ b/src/OCamlMakefile
@@ -142,13 +142,13 @@ NCRESULT := $(addsuffix $(NCSUFFIX), $(RESULT))
TOPRESULT := $(addsuffix $(TOPSUFFIX), $(RESULT))
ifndef OCAMLC
- OCAMLC := ocamlc
+ OCAMLC := ocamlc -g
endif
export OCAMLC
ifndef OCAMLOPT
- OCAMLOPT := ocamlopt
+ OCAMLOPT := ocamlopt -g
endif
export OCAMLOPT