summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Raspbian Automatic git importer [Thu, 22 Dec 2016 07:10:14 +0000 (07:10 +0000)]
Merge ocaml (4.02.3-8) import into refs/heads/workingbranch
Raspbian Automatic git importer [Thu, 22 Dec 2016 07:10:14 +0000 (07:10 +0000)]
Merge ocaml (4.02.3-7) import into refs/heads/workingbranch
Debian OCaml Maintainers [Sun, 6 Nov 2016 10:29:41 +0000 (10:29 +0000)]
arm-default-PIC
Gbp-Pq: Name 0012-arm-default-PIC.patch
Stephane Glondu [Tue, 16 Feb 2016 10:29:16 +0000 (11:29 +0100)]
Compatibility with x32 architecture
Origin: https://github.com/ocaml/ocaml/commit/
58c07fa89ec6546cea911f1d2e7803fd7aa75de9
Bug: http://caml.inria.fr/mantis/view.php?id=6722
Bug-Debian: https://bugs.debian.org/773409
Gbp-Pq: Name 0011-Compatibility-with-x32-architecture.patch
Stephane Glondu [Sun, 16 Aug 2015 18:59:14 +0000 (20:59 +0200)]
Add a .file directive to generated .s files
When no .file directive is given, the toolchain records the filename
of the .o file, which is sometimes random, making generated objects
non-deterministic.
We use Location.input_name for adding .file directives to assembly
files. Note: when the file is preprocessed, this reference holds the
name of the temporary file. Hence, files compiled with -pp are still
not deterministic.
Bug-Debian: https://bugs.debian.org/795784
Bug-Debian: https://bugs.debian.org/796336
Gbp-Pq: Name 0010-Add-a-.file-directive-to-generated-.s-files.patch
Valentin Lorentz [Thu, 13 Aug 2015 09:59:04 +0000 (11:59 +0200)]
Enable ocamldoc to build reproducible manpages
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794586
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
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 [Fri, 8 Nov 2013 21:27:23 +0000 (22:27 +0100)]
Tune resource usage of some tests
The original tests trigger some limits and fail on kfreebsd-i386 with
uncaught exception Sys_error("Thread.create: Resource temporarily
unavailable").
Gbp-Pq: Name 0007-Tune-resource-usage-of-some-tests.patch
Stephane Glondu [Sat, 21 Jul 2012 13:40:52 +0000 (15:40 +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
Mehdi Dogguy [Sun, 6 Nov 2016 10:29:41 +0000 (10:29 +0000)]
ocaml (4.02.3-8) unstable; urgency=medium
* Default to PIC on arm, to fix failing armhf tests (Closes: #837359).
* Use secure and canonical URIs for Vcs-* fields
* Sync Standards-Version's value in debian/control.in
[dgit import unpatched ocaml 4.02.3-8]
Mehdi Dogguy [Sun, 6 Nov 2016 10:29:41 +0000 (10:29 +0000)]
Import ocaml_4.02.3-8.debian.tar.xz
[dgit import tarball ocaml 4.02.3-8 ocaml_4.02.3-8.debian.tar.xz]
Stephane Glondu [Tue, 16 Feb 2016 10:29:16 +0000 (11:29 +0100)]
Compatibility with x32 architecture
Origin: https://github.com/ocaml/ocaml/commit/
58c07fa89ec6546cea911f1d2e7803fd7aa75de9
Bug: http://caml.inria.fr/mantis/view.php?id=6722
Bug-Debian: https://bugs.debian.org/773409
Gbp-Pq: Name 0011-Compatibility-with-x32-architecture.patch
Stephane Glondu [Sun, 16 Aug 2015 18:59:14 +0000 (20:59 +0200)]
Add a .file directive to generated .s files
When no .file directive is given, the toolchain records the filename
of the .o file, which is sometimes random, making generated objects
non-deterministic.
We use Location.input_name for adding .file directives to assembly
files. Note: when the file is preprocessed, this reference holds the
name of the temporary file. Hence, files compiled with -pp are still
not deterministic.
Bug-Debian: https://bugs.debian.org/795784
Bug-Debian: https://bugs.debian.org/796336
Gbp-Pq: Name 0010-Add-a-.file-directive-to-generated-.s-files.patch
Valentin Lorentz [Thu, 13 Aug 2015 09:59:04 +0000 (11:59 +0200)]
Enable ocamldoc to build reproducible manpages
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794586
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0010-Enable-ocamldoc-to-build-reproducible-manpages.patch
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 [Fri, 8 Nov 2013 21:27:23 +0000 (22:27 +0100)]
Tune resource usage of some tests
The original tests trigger some limits and fail on kfreebsd-i386 with
uncaught exception Sys_error("Thread.create: Resource temporarily
unavailable").
Gbp-Pq: Name 0007-Tune-resource-usage-of-some-tests.patch
Stephane Glondu [Sat, 21 Jul 2012 13:40:52 +0000 (15:40 +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
Ralf Treinen [Fri, 15 Jul 2016 20:19:44 +0000 (20:19 +0000)]
ocaml (4.02.3-7) unstable; urgency=medium
* d/rules: split install-stamp target into -arch and -indep, to allow
for building with option -A (Closes: #806087).
* drop d/ocaml-nox.links.in since it contains only links to the
ocamlbuild.1 manpage which is no longer shipped by upstream. Thanks
to Andreas Beckmann for the hint (Closes: #801447).
* d/ocaml-base-nox.README.Debian: fix two spelling errors.
* standards-version 3.9.8 (no change)
[dgit import unpatched ocaml 4.02.3-7]
Ralf Treinen [Fri, 15 Jul 2016 20:19:44 +0000 (20:19 +0000)]
Import ocaml_4.02.3-7.debian.tar.xz
[dgit import tarball ocaml 4.02.3-7 ocaml_4.02.3-7.debian.tar.xz]
Stéphane Glondu [Thu, 13 Aug 2015 16:53:50 +0000 (16:53 +0000)]
Import ocaml_4.02.3.orig.tar.xz
[dgit import orig ocaml_4.02.3.orig.tar.xz]
Stephane Glondu [Thu, 26 Dec 2013 20:56:57 +0000 (21:56 +0100)]
Fix lost locations in out-of-bounds exceptions
Origin: upstream SVN, r14325
Bug: http://caml.inria.fr/mantis/view.php?id=6233
Gbp-Pq: Name 0017-Fix-lost-locations-in-out-of-bounds-exceptions.patch
Xavier Leroy [Thu, 28 Nov 2013 14:31:42 +0000 (14:31 +0000)]
Make "ocamlopt -g" more resistant to ill-formed locations
Origin: upstream SVN, r1432
Bug: http://caml.inria.fr/mantis/view.php?id=6243
Gbp-Pq: Name 0016-Make-ocamlopt-g-more-resistant-to-ill-formed-locatio.patch
Stephane Glondu [Wed, 13 Nov 2013 13:28:20 +0000 (14:28 +0100)]
Fix native backtraces on arm*
Author: Jacques-Henri Jourdan
Bug: http://caml.inria.fr/mantis/view.php?id=6233
Signed-off-by: Stephane Glondu <steph@glondu.net>
Gbp-Pq: Name 0015-Fix-native-backtraces-on-arm.patch
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 0014-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch
Stephane Glondu [Fri, 8 Nov 2013 21:27:23 +0000 (22:27 +0100)]
Tune resource usage of some tests
The original tests trigger some limits and fail on kfreebsd-i386 with
uncaught exception Sys_error("Thread.create: Resource temporarily
unavailable").
Gbp-Pq: Name 0013-Tune-resource-usage-of-some-tests.patch
Stephane Glondu [Fri, 8 Nov 2013 15:42:19 +0000 (16:42 +0100)]
Fix ocamlopt on sparc
Bug: http://caml.inria.fr/mantis/view.php?id=6227
Gbp-Pq: Name 0012-Fix-ocamlopt-on-sparc.patch
Stephane Glondu [Thu, 7 Nov 2013 15:06:57 +0000 (16:06 +0100)]
Enable mkstemp in yacc
Use the feature test macro found in the mkstemp(3) manpage.
Bug: http://caml.inria.fr/mantis/view.php?id=6232
Gbp-Pq: Name 0011-Enable-mkstemp-in-yacc.patch
Stephane Glondu [Thu, 7 Nov 2013 14:45:50 +0000 (15:45 +0100)]
Add const qualifiers in Tcl/Tk bindings
Bug: http://caml.inria.fr/mantis/view.php?id=6230
Gbp-Pq: Name 0010-Add-const-qualifiers-in-Tcl-Tk-bindings.patch
Stephane Glondu [Mon, 21 Oct 2013 14:34:12 +0000 (16:34 +0200)]
Fix typos and other wording issues
Bug: http://caml.inria.fr/mantis/view.php?id=6231
Gbp-Pq: Name 0009-Fix-typos-and-other-wording-issues.patch
Stephane Glondu [Sat, 21 Jul 2012 13:40:52 +0000 (15:40 +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 0008-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 0007-Avoid-multiple-declarations-in-generated-.c-files-in.patch
Stefano Zacchiroli [Tue, 19 May 2009 15:28:56 +0000 (17:28 +0200)]
Install ocamlbuild as a link on either .native or .byte
Gbp-Pq: Name 0006-Install-ocamlbuild-as-a-link-on-either-.native-or-.b.patch
Ralf Treinen [Tue, 19 May 2009 15:28:09 +0000 (17:28 +0200)]
Patch config.sh for installation
Use for installatation a patched config.sh (created by debian/rules).
Gbp-Pq: Name 0005-Patch-config.sh-for-installation.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 [Thu, 30 Oct 2014 08:28:06 +0000 (08:28 +0000)]
ocaml (4.01.0-5) unstable; urgency=medium
[ Ralf Treinen ]
* ocaml-mode: change dependency on emacs23 to emacs (closes: #754021)
* ocaml-mode: add versionend dependency on emacs-common, add a file
ocaml-mode.emacsen-compat (closes: #749311)
[dgit import unpatched ocaml 4.01.0-5]
Stéphane Glondu [Thu, 30 Oct 2014 08:28:06 +0000 (08:28 +0000)]
Import ocaml_4.01.0-5.debian.tar.xz
[dgit import tarball ocaml 4.01.0-5 ocaml_4.01.0-5.debian.tar.xz]
Stéphane Glondu [Fri, 8 Nov 2013 08:45:16 +0000 (08:45 +0000)]
Import ocaml_4.01.0.orig.tar.bz2
[dgit import orig ocaml_4.01.0.orig.tar.bz2]