diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-25 12:48:36 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-25 12:48:36 +0000 |
| commit | 19c1ab41b6e9751ca58e2fc778b34e6b9694c367 (patch) | |
| tree | 766db7b195443450f73cf50702889918d98274bc /stdlib | |
| parent | f2095623ff9f002e86619545b3d9415f95f838fc (diff) | |
profiling
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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) \ |