PR#6515 nativeint is intended to have the same width as a pointer

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
new -opaque flag: ocamlopt creates .cmx without cross-module info

(Patch by Pierre Chambart and Gabriel Scherer)
(Ack'ed by Damien Doligez)

This enables a form of incremental compilation for ocamlopt: if
A depends on B, and B is compiled with `ocamlopt -opaque`, then minor
implementation changes in B that do not affect the module interface
will not require recompilation of A.

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add the deprecated flag to all the stdlib functions that are documented as deprecated

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
document the unsafe conversions Bytes.unsafe_{to,of}_string

Users will inevitably do dirty things during the -safe-string
migration. Better document the available dirty hacks, rather than
letting them use Obj.magic by lack of information.

(Documentation written with helpful feedback of Daniel Bünzli,
Anil Madhavapeddy, and Damien Doligez.)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: add an interface knob to decide whether we are in an ocamlbuild project

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: interpret tag-line before slurp, in case it contains "<foo>: traverse"

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5851: ocamlbuild: hint when no _tags or myocamlbuild.ml are present

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5406 ocamlbuild: "tag 'package' does not expect a parameter"

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: fix the -use-ocamlfind documentation (not the default)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6300: ocamlbuild -use-ocamlfind conflicts with -ocamlc

Note: there is a known issue with how -use-ocamlfind work: its
semantics is to change the compilation commands (ocamlc etc.) during
the option initialisation phase. This new change make it still take
into account changes to the command that would have been requested by
the user at option time (-ocamlc ...) or before (Before_option
dispatch in a plugin). But if you only activate use_ocamlfind after
the options (After_option dispatch), the command will not be changed,
but the "-package ..." ocamlfind-specific flags will still be passed
at compiler invocation.
In other words, use-ocamlfind must always be set *strictly* before
After_options (in a plugin or through the command-line), otherwise
weird stuff happens.

This glitch would be fixable in this commit (by moving
ocamlfind-command-initialization after After_options), but doing so
could have bad backward-compatibility consequences: current users may
very-well work-around PR#6300 by manually setting the command
(eg. Options.ocamlc := "ocamlfind ocamlcp") at After_options
dispatch. If we moved ocamlfind's initialization after After_options,
plugins using this manual workaround would stop doing what the users
expect (the ocaml command would become "ocamlfind ocamlfind ocamlcp"
in this example: not cool).

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: better provenance for syntax error messages

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Revert "ocamlbuild: better provenance for syntax error messages"

(Still-in-development commit sent by mistake)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ocamlbuild: better provenance for syntax error messages -- full

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6087 ocamlbuild: improve _tags parsing of escaped newlines

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6513: Fatal error Ctype.Unify(_) in functor type

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6392: native code support for armv6 on FreeBSD10

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
last commit before tagging 4.02.0

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
increment version number after tagging 4.02.0+rc1

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge branch '4.02' of github.com:ocaml/ocaml into functor-units

Conflicts:
	boot/ocamlc
	boot/ocamldep
	boot/ocamllex
	utils/clflags.mli