diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-07-24 13:39:39 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2018-07-24 13:39:39 +0200 |
| commit | 84bc3621b42bbebfbfdf707893c5faa3c11a5f08 (patch) | |
| tree | 0c360c581e31aeae7eca113bcbc4455070c6b3f0 | |
| parent | a2db438da8af17dee96834bba8544721ce7edca3 (diff) | |
| download | ocamldebug_g.tar.gz | |
Build tools with debugging informationocamldebug_g
| -rw-r--r-- | tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index eecb871feb..4646046aef 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -79,9 +79,9 @@ else export OCAML_FLEXLINK:=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/flexdll/flexlink.exe endif -CAMLC=$(CAMLRUN) ../boot/ocamlc -nostdlib -I ../boot \ +CAMLC=$(CAMLRUN) ../boot/ocamlc -g -nostdlib -I ../boot \ -use-prims ../runtime/primitives -I .. -CAMLOPT=$(CAMLRUN) ../ocamlopt -nostdlib -I ../stdlib +CAMLOPT=$(CAMLRUN) ../ocamlopt -g -nostdlib -I ../stdlib ifeq "$(UNIX_OR_WIN32)" "win32" ifneq "$(wildcard ../flexdll/Makefile)" "" CAMLOPT := OCAML_FLEXLINK="../boot/ocamlrun ../flexdll/flexlink.exe" \ |