diff options
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 6c3e58aa65..397497dd55 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -13,8 +13,9 @@ # Common Makefile for otherlibs on the Unix ports -CAMLC=$(ROOTDIR)/ocamlcomp.sh -CAMLOPT=$(ROOTDIR)/ocamlcompopt.sh +CAMLC=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib +CAMLOPT=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/ocamlopt -nostdlib \ + -I $(ROOTDIR)/stdlib CFLAGS=-I$(ROOTDIR)/byterun -O $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) include ../Makefile.shared |