ocaml.git
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]