diff options
Diffstat (limited to 'otherlibs/dynlink/Makefile')
| -rw-r--r-- | otherlibs/dynlink/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index ab03704903..67b160aa49 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -15,10 +15,10 @@ include ../../config/Makefile -CAMLC=$(CAMLC_BIN) -nostdlib -I ../../stdlib -CAMLOPT=$(CAMLOPT_BIN) -nostdlib -I ../../stdlib +CAMLC=../../boot/ocamlrun ../../ocamlc +CAMLOPT=../../ocamlcompopt.sh INCLUDES=-I ../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp -COMPFLAGS=-w +33..39 -warn-error A $(INCLUDES) +COMPFLAGS=-w +33..39 -warn-error A -bin-annot -I ../../stdlib $(INCLUDES) OBJS=dynlinkaux.cmo dynlink.cmo |