diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2015-11-20 17:54:26 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2015-12-21 14:27:46 +0100 |
| commit | 0225ca01e39289ce1801fb09cd011cdbfb542b8d (patch) | |
| tree | 378687ce2803504471b133900b9bf24d5afa0950 /stdlib/Makefile | |
| parent | 7c71653524ccb922b78456209e0f5c47573db5e9 (diff) | |
| download | ocaml-0225ca01e39289ce1801fb09cd011cdbfb542b8d.tar.gz | |
GC latency improvements
Diffstat (limited to 'stdlib/Makefile')
| -rw-r--r-- | stdlib/Makefile | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 92fa3740ea..2cd5dc05dd 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -45,16 +45,18 @@ installopt-prof: stdlib.p.cmxa: $(OBJS:.cmo=.p.cmx) $(CAMLOPT) -a -o stdlib.p.cmxa $(OBJS:.cmo=.p.cmx) -camlheader target_camlheader camlheaderd target_camlheaderd camlheader_ur: \ +camlheader target_camlheader camlheader_ur \ +camlheaderd target_camlheaderd \ +camlheaderi target_camlheaderi: \ header.c ../config/Makefile if $(SHARPBANGSCRIPTS); then \ - echo '#!$(BINDIR)/ocamlrun' > camlheader && \ - echo '#!$(TARGET_BINDIR)/ocamlrun' > target_camlheader && \ - echo '#!$(BINDIR)/ocamlrund' > camlheaderd && \ - echo '#!$(TARGET_BINDIR)/ocamlrund' > target_camlheaderd && \ + for suff in '' d i; do \ + echo '#!$(BINDIR)/ocamlrun'$$suff > camlheader$$suff && \ + echo '#!$(TARGET_BINDIR)/ocamlrun'$$suff > target_camlheader$$suff; \ + done && \ echo '#!' | tr -d '\012' > camlheader_ur; \ else \ - for suff in '' d; do \ + for suff in '' d i; do \ $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) \ -DRUNTIME_NAME='"$(BINDIR)/ocamlrun'$$suff'"' \ header.c -o tmpheader$(EXE) && \ |