delta/ocaml.git/otherlibs/dynlink, branch flambda

Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:

2013-11-29T13:04:38+00:00

14278
14277
14276
14176
14175
14173
14172
14171
14169
14168
14167
These changes need to mature on their own branch.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Keep attributes on value declarations in .cmi files (but clear all the location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854)

2013-09-26T15:24:11+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

build: replace ocamlcomp*.sh.

2013-09-20T00:22:38+00:00

This script was built from ocamlcomp.sh.in through sed and is called
instead of "ocamlc" (for instance).
It makes it possible to switch from "ocamlc" to "ocamlc.opt" without
changing anything in the Makefiles, only calling sed.

I couldn't cleanly make it handle both a compiler for the target and for
the build. Instead I'm replacing it and doing as much as possible
directly in the Makefiles.
I hoped it would reduce the number of shell invocations, which would
speed things up quite a lot on Windows but I still had to have at least
one since it's not possible to update a make variable from inside a make
rule: i.e. it's not possible to do X=a, build a.opt and update X to be
a.opt.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Merge branch 4.01 from branching point to 4.01.0+rc1

2013-09-04T15:12:37+00:00

Command line used:
  svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Wrong quoting chase.

2013-05-29T18:05:44+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

remove TABs

2012-10-15T18:01:26+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

remove all $Id keywords

2012-10-15T17:50:56+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#5240: register exception printers for Unix.Unix_error and Dynlink.Error

2012-10-10T08:54:42+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge with branch bin-annot

2012-05-30T14:52:37+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Enabled 'unused rec flag' warning.

2012-05-29T12:33:51+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02