diff options
| author | Pierre Chambart <chambart@users.noreply.github.com> | 2015-11-19 11:18:17 +0100 |
|---|---|---|
| committer | Pierre Chambart <chambart@users.noreply.github.com> | 2015-11-19 11:18:17 +0100 |
| commit | e69ccdb61a73747ee08f7250ab9f30dfc9e223a7 (patch) | |
| tree | 7143618cd017dd81a642a5ce2eafa11e1ced2e04 | |
| parent | e896e9071a1cc8fa4e11112b61f5ce4a038ffa97 (diff) | |
| download | ocaml-build-with-debugging-informations.tar.gz | |
Build the compiler with debugging informationsbuild-with-debugging-informations
| -rwxr-xr-x | Makefile.shared | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.shared b/Makefile.shared index 5b4dd17bb1..6a45e22541 100755 --- a/Makefile.shared +++ b/Makefile.shared @@ -17,8 +17,8 @@ CAMLRUN ?= boot/ocamlrun CAMLYACC ?= boot/ocamlyacc
include stdlib/StdlibModules
-CAMLC=$(CAMLRUN) boot/ocamlc -nostdlib -I boot
-CAMLOPT=$(CAMLRUN) ./ocamlopt -nostdlib -I stdlib -I otherlibs/dynlink
+CAMLC=$(CAMLRUN) boot/ocamlc -g -nostdlib -I boot
+CAMLOPT=$(CAMLRUN) ./ocamlopt -g -nostdlib -I stdlib -I otherlibs/dynlink
COMPFLAGS=-strict-sequence -w +33..39+48+50 -warn-error A -bin-annot \
-safe-string $(INCLUDES)
LINKFLAGS=
|