ocaml.git
6 years agoUse CCLINKFLAGS for linking all executables and shared libraries
Torok Edwin [Wed, 15 Jul 2015 13:33:23 +0000 (16:33 +0300)]
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

6 years agoarm64-hide-symbols-for-stricter-binutils
Mark Shinwell [Wed, 13 Sep 2017 09:23:16 +0000 (10:23 +0100)]
arm64-hide-symbols-for-stricter-binutils

    AArch64 GOT fixed

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

6 years agoDrop a test-suite experiment committed by mistake
Xavier Leroy [Fri, 25 Jan 2019 12:47:44 +0000 (13:47 +0100)]
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

6 years agoNative backtraces don't work on powerpc and sparc
Stephane Glondu [Wed, 13 Nov 2013 13:28:16 +0000 (14:28 +0100)]
Native backtraces don't work on powerpc and sparc

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

6 years agoEmbed bytecode in C object when using -custom
Stephane Glondu [Tue, 11 Jul 2017 11:27:34 +0000 (13:27 +0200)]
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

6 years agoAvoid multiple declarations in generated .c files in -output-obj
Stephane Glondu [Thu, 21 Apr 2011 16:39:31 +0000 (18:39 +0200)]
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

6 years agoPut manpages in section 3o instead of 3
Julien Cristau [Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)]
Put manpages in section 3o instead of 3

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

6 years agoDon't use rpath
Stefano Zacchiroli [Tue, 19 May 2009 15:24:14 +0000 (17:24 +0200)]
Don't use rpath

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

6 years agoCall ld with proper flags
Stefano Zacchiroli [Tue, 19 May 2009 15:23:34 +0000 (17:23 +0200)]
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

6 years agoPass --no-relax to ld on alpha
Stefano Zacchiroli [Tue, 19 May 2009 15:22:39 +0000 (17:22 +0200)]
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

6 years agoocaml (4.05.0-11) unstable; urgency=medium
Stéphane Glondu [Fri, 25 Jan 2019 13:59:28 +0000 (14:59 +0100)]
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]

6 years agoImport ocaml_4.05.0-11.debian.tar.xz
Stéphane Glondu [Fri, 25 Jan 2019 13:59:28 +0000 (14:59 +0100)]
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]

8 years agoImport ocaml_4.05.0.orig.tar.xz
Ximin Luo [Mon, 17 Jul 2017 14:11:47 +0000 (16:11 +0200)]
Import ocaml_4.05.0.orig.tar.xz

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