summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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
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
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
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
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
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
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
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]
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]
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]