Add a .file directive to generated .s files

When no .file directive is given, the toolchain records the filename
of the .o file, which is sometimes random, making generated objects
non-deterministic.

We use Location.input_name for adding .file directives to assembly
files. Note: when the file is preprocessed, this reference holds the
name of the temporary file. Hence, files compiled with -pp are still
not deterministic.

Bug-Debian: https://bugs.debian.org/795784
Bug-Debian: https://bugs.debian.org/796336

Gbp-Pq: Name 0010-Add-a-.file-directive-to-generated-.s-files.patch

Enable ocamldoc to build reproducible manpages

Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794586
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0010-Enable-ocamldoc-to-build-reproducible-manpages.patch

Native backtraces don't work on powerpc and sparc

Gbp-Pq: Name 0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch

Tune resource usage of some tests

The original tests trigger some limits and fail on kfreebsd-i386 with
uncaught exception Sys_error("Thread.create: Resource temporarily
unavailable").

Gbp-Pq: Name 0007-Tune-resource-usage-of-some-tests.patch

Embed bytecode in C object when using -custom

This patch fixes non-strippability of bytecode executables linked with
custom runtime. The new behaviour is enabled when OCAML_CUSTOM_EMBED
is set to "y", or when DEB_HOST_ARCH is non-empty.

Forwarded: not-needed
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=627761
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678577
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0006-Embed-bytecode-in-C-object-when-using-custom.patch

Avoid multiple declarations in generated .c files in -output-obj

In -output-obj mode, <caml/mlvalues.h> (which contains some
primitives) is included in the generated .c file, leading to errors
when compiling with g++ (multiple declarations).

There are probably better implementations (in particular, in this one,
care must be taken when changing the list of primitives available in
mlvalues.h), but this is a small and (not too) intrusive patch.

Bug: http://caml.inria.fr/mantis/view.php?id=5254
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch

Put manpages in section 3o instead of 3

Gbp-Pq: Name 0004-Put-manpages-in-section-3o-instead-of-3.patch

Don't use rpath

Gbp-Pq: Name 0003-Don-t-use-rpath.patch

Call ld with proper flags

Filter linkflags passed to ld by ocamlopt -pack and -output-obj
to remove the "-Wl," parts, which are only used when ocamlopt calls
gcc.

Gbp-Pq: Name 0002-Call-ld-with-proper-flags.patch

Pass --no-relax to ld on alpha

Pass the --no-relax option to ld to fix a segfault in initialization
code (bug#338437)

Gbp-Pq: Name 0001-Pass-no-relax-to-ld-on-alpha.patch

ocaml (4.02.3-9) unstable; urgency=medium

  * obey hardening LDFLAGS (Closes: #792502). Thanks to Török Edwin
    for the patch!
    - add patch 0013-Obey-ldflags.patch
  * Compute a stable name for preprocessed files (Closes: #838188).
    Thanks to Johannes Schauer for the patch!
  * CVE-2015-8869 (Closes: #824139).

[dgit import unpatched ocaml 4.02.3-9]

Import ocaml_4.02.3-9.debian.tar.xz

[dgit import tarball ocaml 4.02.3-9 ocaml_4.02.3-9.debian.tar.xz]

Import ocaml_4.02.3.orig.tar.xz

[dgit import orig ocaml_4.02.3.orig.tar.xz]