From 95a9ed906d805ffb4c70f9a312fbaf311946d654 Mon Sep 17 00:00:00 2001 From: Jerome Vouillon Date: Fri, 24 Jun 2016 17:31:51 +0200 Subject: [PATCH] Compile with debug information by default --- Makefile.options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.options b/Makefile.options index 26742d8b..9e2704fb 100644 --- a/Makefile.options +++ b/Makefile.options @@ -45,7 +45,7 @@ SERVER_PACKAGES := calendar lwt.ppx js_of_ocaml.deriving.ppx CLIENT_PACKAGES := calendar js_of_ocaml.ppx lwt.ppx js_of_ocaml.deriving.ppx # Debug package (yes/no): Debugging info in compilation -DEBUG := no +DEBUG := yes # Native mode (yes/no): Compile also with native mode (it will always # compile with byte mode)