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

Remove debian/source/local-options

Update changelog and prepare upload to unstable

Provide libnum-ocaml{,-dev}

Update changelog and prepare upload to unstable

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

ocaml (4.05.0-11) unstable; urgency=medium

  [ Ralf Treinen ]
  * Dropped "Recommends: camlp4" from ocaml-nox since that package is
    being deprecated. (Closes: #895994)

  [ Stéphane Glondu ]
  * Fix integer overflows when unmarshaling a bigarray
    (Closes: #895472, CVE-2018-9838)
  * Update Vcs-* to point to salsa

[dgit import unpatched ocaml 4.05.0-11]

Import ocaml_4.05.0-11.debian.tar.xz

[dgit import tarball ocaml 4.05.0-11 ocaml_4.05.0-11.debian.tar.xz]

Delete trailing whitespaces in debian/changelog

Update Vcs-* to point to salsa

Use caml_ba_multov instead of caml_umul_overflow

Fix integer overflows when unmarshaling a bigarray

(Closes: #895472, CVE-2018-9838)

Refresh patches

dropped recommends camlp4

Release 4.05.0-10 to Debian unstable.

Update gbp.conf for sid branches

Replace the ARM PIC patch with one from upstream

Drop support for ocamlopt on armel as suggested by upstream

Release 4.05.0-9 to Debian unstable.

Release 4.05.0-8 to Debian experimental

Replace arm64 patch with one applied upstream

Mark old bugs as closed

Convert the menu file to a desktop file

Update d/changelog

Merge branch 'debian/sid' into debian/experimental

Add .gitattributes for easy changelog merging

Release 4.05.0-7 to Debian experimental.

Only install ocaml-native-compilers.conf on native-code architectures

Release 4.05.0-6 to Debian experimental.

Mark certain symbols as .hidden in arm64 codegen, fixing FTBFS with binutils 2.29

Release 4.05.0-5 to Debian experimental.

Update d/changelog

Proper fix for kfreebsd-* not having dup3/pipe2

Release 4.05.0-4 to Debian experimental.

Properly fix new natdynlink logic

- fix the bogus "double-if" conditional
- filter is more correct than findstring, the latter gives amd64 even if only
  freebsd-amd64 is in the list

Release 4.05.0-3 to Debian experimental.

Simplify and fix the newer natdynlink handling

Fix Makefile $-escaping syntax

Release 4.05.0-2 to Debian experimental.

Close old bug reports

More restructuring of ocamlvars.mk to pull in dependency variables

Removing $(_ocaml_share_path)/ocamlvars.mk was too hasty, it defines OCAML_DLL_DIR

Refresh patches

Move OCAML_* vars into separate file so it's available for ocamlinit.mk

Whoops, missed one

Disable failing dup3/pipe2-related tests on kfreebsd-*

Update conditional-install rules for easier maintenance

Run ocamlinit-stamp after config-stamp; this allows us to directly use config/Makefile

Release 4.05.0-1 to Debian experimental.

Import ocaml_4.05.0.orig.tar.xz

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

Update to latest Standards-Version; no changes required.

Update Homepage

ccache does not seem that much quicker for ocaml, but leave the rules in

Update ABI in d/rules

Update d/changelog

Updated version 4.05.0 from 'upstream/4.05.0'

with Debian dir c844517dc96c16122fa8f074fd6dfbc03830ccab

New upstream version 4.05.0

Update 0006 patch from Stephane

Update changelog and prepare upload to unstable

Tell dh_installdocs to ignore README.Debian (see #868204)

Add Provides: ocamlbuild to ocaml-nox

Upstream now installs topdirs.mli into (what ends up in) ocaml-base-nox

for-loops in Makefiles need a 'set -e' to fail early

Move ocaml-base-nox to the top of d/control for dh_installdocs

Update installation rules

Try ccache

Update d/patches

Update d/changelog

Merge tag 'upstream/4.05.0_rc1' into debian/experimental

Upstream version 4.05.0~rc1

# gpg: Signature made Tue 04 Jul 2017 18:21:11 CEST
# gpg:                using RSA key 3667486A326DB2766D255546860DEF3B8F650B79
# gpg: Good signature from "Ximin Luo <infinity0@pwned.gg>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@torproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@freenetproject.org>" [ultimate]
# gpg:                 aka "Ximin Luo <infinity0@debian.org>" [ultimate]
# gpg:                 aka "Satoshi Nakamoto (www.bitcoin.org) <satoshin@gmx.com>" [ultimate]

New upstream version 4.05.0~rc1

Release 4.04.0-2 to Debian experimental.

Fix the build on non-opt+64 arches for raw_spacetime

Release 4.04.0-1 to Debian experimental

Some raw_spacetime files are not installed on non-opt architectures

Not sure that this is the best solution, but do it for now so we can release

Don't install ocamloptp on non-opt architectures, properly

Fix some install paths

Add Replaces, lintian-overrides to d/control, reduce dpkg-gencontrol warnings