diff options
Diffstat (limited to 'ocamldoc/Makefile')
| -rw-r--r-- | ocamldoc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 36fbd82de9..6de33180de 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -14,8 +14,9 @@ include ../config/Makefile # Various commands and dir ########################## -OCAMLC = $(CAMLC_BIN) -nostdlib -I ../stdlib -OCAMLOPT = $(CAMLOPT_BIN) -nostdlib -I ../stdlib +CAMLRUN=../boot/ocamlrun +OCAMLC = ../ocamlcomp.sh +OCAMLOPT = ../ocamlcompopt.sh OCAMLDEP = $(CAMLRUN) ../tools/ocamldep OCAMLLEX = $(CAMLRUN) ../boot/ocamllex OCAMLYACC= ../boot/ocamlyacc |