diff options
| -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" \ |