Make fast forward from 4.08.1-3

[dgit --quilt=gbp]

Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

Use CCLINKFLAGS for linking all executables and shared libraries

This allows packagers to set additional linker flags for executables and shared
libraries created by OCaml, and for the OCaml tools themselves.
OCaml code can be linked with various C stubs and C libraries that would
benefit from using hardening link flags, such as -Wl,-z,relro.

Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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

Update changelog and prepare upload to unstable

Install seq compatibility package

ocaml-base-nox Breaks/Replaces also ocaml-nox (Closes: #944126)

Update changelog and prepare upload to unstable

Add relationship for ocaml-nox overwriting ocaml-base-nox (Closes: #944126)

..and clean up obsolete Breaks/Replaces.

Make fast forward from 4.08.1-2

[dgit --quilt=gbp]

Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

Use CCLINKFLAGS for linking all executables and shared libraries

This allows packagers to set additional linker flags for executables and shared
libraries created by OCaml, and for the OCaml tools themselves.
OCaml code can be linked with various C stubs and C libraries that would
benefit from using hardening link flags, such as -Wl,-z,relro.

Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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

Do no longer install ocaml-native-compilers.conf

ocaml{dep,c,...} are now symlinks to the "best" versions.

Prepare upload to unstable

Make fast forward from 4.05.0-12

[dgit --quilt=gbp]

Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

Use CCLINKFLAGS for linking all executables and shared libraries

This allows packagers to set additional linker flags for executables and shared
libraries created by OCaml, and for the OCaml tools themselves.
OCaml code can be linked with various C stubs and C libraries that would
benefit from using hardening link flags, such as -Wl,-z,relro.

Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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

Update changelog

Disable failing tests on hurd

ocaml-nox do no longer provide num

Switch experimental branches to sid

Merge branch 'debian/experimental' into debian/sid

Avoid leaving an empty file after patch

Prepare upload to experimental

Refresh patches

Update changelog

Update OCAML_ABI

Update upstream source from tag 'upstream/4.08.1'

Update to upstream version '4.08.1'
with Debian dir d8f1f22ce576a72aa7e4231b5247bca8a01f660d

New upstream version 4.08.1

Update debian/control.in

Build-depend on debhelper-compat

Remove quilt from Build-Depends

Explicit dependencies of static -lbfd

Update changelog

Reimplement -custom without hacks

Update changelog

Disable testpreempt on kfreebsd for now

Add Breaks/Replaces: ocaml-base to ocaml-base-nox (Closes: #933792)

Put VERSION in ocaml-base-nox

Statically link -lbfd to avoid a tight dep with libbinutils

Remove debian/source/local-options

Update changelog and prepare upload to unstable

Declare fast forward from 4.05.0-11

[dgit --quilt=gbp --overwrite]

Integer overflows when unmarshaling a bigarray

Malicious or corrupted marshaled data can result in a bigarray
with impossibly large dimensions that cause overflow when computing
the in-memory size of the bigarray.  Disaster ensues when the data
is read in a too small memory area.  This commit checks for overflows
when computing the in-memory size of the bigarray.

This patch has been modified from upstream one to use caml_ba_multov
instead of caml_umul_overflow which is unavailable in OCaml 4.05.0.

Origin: https://github.com/ocaml/ocaml/pull/1718
Bug: https://caml.inria.fr/mantis/view.php?id=7765
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895472
Bug-CVE: CVE-2018-9838

Gbp-Pq: Name 0012-Integer-overflows-when-unmarshaling-a-bigarray.patch

Compute a stable name for preprocessed files

Gbp-Pq: Name 0014-Compute-a-stable-name-for-preprocessed-files.patch

Use CCLINKFLAGS for linking all executables and shared libraries

This allows packagers to set additional linker flags for executables and shared
libraries created by OCaml, and for the OCaml tools themselves.
OCaml code can be linked with various C stubs and C libraries that would
benefit from using hardening link flags, such as -Wl,-z,relro.

Origin: other
Bug-Debian: https://bugs.debian.org/702349
Forwarded: no
Last-Update: <2015-07-15>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

arm64-hide-symbols-for-stricter-binutils

    AArch64 GOT fixed

Gbp-Pq: Name 0011-arm64-hide-symbols-for-stricter-binutils.patch

Drop a test-suite experiment committed by mistake

This was failing on armhf because Debian GCC now enables PIE by default.

Bug: https://caml.inria.fr/mantis/view.php?id=7642
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837359#80

Gbp-Pq: Name 0010-XL-001-tests.asmcomp.patch

Native backtraces don't work on powerpc and sparc

Gbp-Pq: Name 0008-Native-backtraces-don-t-work-on-powerpc-and-sparc.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

Provide libnum-ocaml{,-dev}

Document forwarded patch

Prepare upload to experimental

Update changelog

Document forwarded patches

Tune testpreempt test to make it work on kfreebsd

Disable native compiler on powerpc

Disable native compiler on x32

Fix discrepancy in upstream sources reported by dgit

Prepare upload to experimental

Update changelog

Remove Samuel from Uploaders

Bump Standards-Version to 4.4.0

Fix spelling errors reported by Lintian

Add more Lintian overrides

Remove debian/source/local-options

Add support for Debian's armhf in configure.ac

Add x32 to native architectures

Check for definition of AT_SECURE before using it

Properly disable almabench test on slow architectures

Use CCLINKFLAGS for linking all executables and shared libraries

Build with BUILD_PATH_PREFIX_MAP set

... to avoid Lintian's file-references-package-build-path

Prepare upload to experimental

Update changelog

Remove useless build-dependency

Update debian/copyright

Fix disabling sockets test

Synchronize generated files

Fix broken doc symlinks (Closes: #877267)

Update debian/clean

Disable dh_dwz for now

Bump debhelper compat to 12

Fix file dispatch and add binary package ocaml-man

Remove references to no-longer-shipped examples

Remove useless *.dirs* files

ocaml-mode is now an independent project

Fix in configure.am