diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 56b04b969..89a8ccb33 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -18,7 +18,7 @@ include ../config/Makefile RUNTIME=../boot/ocamlrun COMPILER=../ocamlc CAMLC=$(RUNTIME) $(COMPILER) -COMPFLAGS=-g -warn-error A -nostdlib +COMPFLAGS=-warn-error A -nostdlib OPTCOMPILER=../ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) OPTCOMPFLAGS=-warn-error A -nostdlib @@ -122,6 +122,10 @@ camlinternalOO.cmi: camlinternalOO.mli camlinternalOO.cmx: camlinternalOO.ml $(CAMLOPT) $(OPTCOMPFLAGS) -inline 0 camlinternalOO.ml +OO_P_CMX=camlinternalOO.p.cmx +$(OO_P_CMX): camlinternalOO.ml + $(MAKE) EXTRAFLAGS="-inline 0" OO_P_CMX=dummy camlinternalOO.p.cmx + # labelled modules require the -nolabels flag labelled.cmo: $(MAKE) EXTRAFLAGS=-nolabels RUNTIME=$(RUNTIME) \ |