ocaml.git
8 years agoMerge 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-8) import into refs/heads/workingbranch

8 years agoMerge ocaml (4.02.3-7) 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

9 years agoarm-default-PIC
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

9 years agoCompatibility with x32 architecture
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

9 years agoAdd a .file directive to generated .s files
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

9 years agoEnable ocamldoc to build reproducible manpages
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

9 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

9 years agoTune resource usage of some tests
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

9 years agoEmbed bytecode in C object when using -custom
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

9 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

9 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

9 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

9 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

9 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

9 years agoocaml (4.02.3-8) unstable; urgency=medium
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]

9 years agoImport ocaml_4.02.3-8.debian.tar.xz
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]

9 years agoCompatibility with x32 architecture
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

9 years agoAdd a .file directive to generated .s files
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

9 years agoEnable ocamldoc to build reproducible manpages
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

9 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

9 years agoTune resource usage of some tests
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

9 years agoEmbed bytecode in C object when using -custom
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

9 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

9 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

9 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

9 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

9 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

9 years agoocaml (4.02.3-7) unstable; urgency=medium
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]

9 years agoImport ocaml_4.02.3-7.debian.tar.xz
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]

10 years agoImport ocaml_4.02.3.orig.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]

11 years agoFix lost locations in out-of-bounds exceptions
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

11 years agoMake "ocamlopt -g" more resistant to ill-formed locations
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

11 years agoFix native backtraces on arm*
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

11 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 0014-Native-backtraces-don-t-work-on-powerpc-and-sparc.patch

11 years agoTune resource usage of some tests
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

11 years agoFix ocamlopt on sparc
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

11 years agoEnable mkstemp in yacc
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

11 years agoAdd const qualifiers in Tcl/Tk bindings
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

11 years agoFix typos and other wording issues
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

11 years agoEmbed bytecode in C object when using -custom
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

11 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 0007-Avoid-multiple-declarations-in-generated-.c-files-in.patch

11 years agoInstall ocamlbuild as a link on either .native or .byte
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

11 years agoPatch config.sh for installation
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

11 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

11 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

11 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

11 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

11 years agoocaml (4.01.0-5) unstable; urgency=medium
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]

11 years agoImport ocaml_4.01.0-5.debian.tar.xz
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]

12 years agoImport ocaml_4.01.0.orig.tar.bz2
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]