ocaml.git
4 years agoMake fast forward from 4.11.1-4
Stéphane Glondu [Thu, 25 Nov 2021 14:45:31 +0000 (15:45 +0100)]
Make fast forward from 4.11.1-4

[dgit --quilt=gbp]

4 years agoDo not error on warnings in autoconf
Stephane Glondu [Thu, 25 Nov 2021 14:01:11 +0000 (15:01 +0100)]
Do not error on warnings in autoconf

Bug-Debian: https://bugs.debian.org/978875

Gbp-Pq: Name 0009-Do-not-error-on-warnings-in-autoconf.patch

4 years agoStatically link lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:23:06 +0000 (06:23 +0200)]
Statically link lib{bfd,iberty}

Gbp-Pq: Name 0008-Statically-link-lib-bfd-iberty.patch

4 years agoTrigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable

Gbp-Pq: Name 0007-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

4 years agoDisable DT_TEXTREL warnings on Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:22:39 +0000 (16:22 +0200)]
Disable DT_TEXTREL warnings on Linux i386

Bug: https://github.com/ocaml/ocaml/issues/9800

Gbp-Pq: Name 0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

4 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0005-read_main_debug_info-do-not-die-in-custom-executable.patch

4 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0004-Check-for-definition-of-AT_SECURE-before-using-it.patch

4 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: <2019-07-22>

Gbp-Pq: Name 0003-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

4 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 0002-Put-manpages-in-section-3o-instead-of-3.patch

4 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 0001-Don-t-use-rpath.patch

4 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 25 Nov 2021 14:40:10 +0000 (15:40 +0100)]
Update changelog and prepare upload to unstable

4 years agoBump Standards-Version to 4.6.0
Stephane Glondu [Thu, 25 Nov 2021 14:35:53 +0000 (15:35 +0100)]
Bump Standards-Version to 4.6.0

4 years agoUpdate debian/watch
Stephane Glondu [Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)]
Update debian/watch

4 years agoDo not error on warnings in autoconf (Closes: #978875)
Stephane Glondu [Thu, 25 Nov 2021 14:08:33 +0000 (15:08 +0100)]
Do not error on warnings in autoconf (Closes: #978875)

4 years agoMerge branch 'lintian-fixes' into 'debian/sid'
Stéphane Glondu [Thu, 25 Nov 2021 14:37:06 +0000 (14:37 +0000)]
Merge branch 'lintian-fixes' into 'debian/sid'

Fix some issues reported by lintian

See merge request ocaml-team/ocaml!2

4 years agoFix day-of-week for changelog entries 3.00-4, 2.01-5, 2.01-1.
Debian Janitor [Wed, 16 Jun 2021 01:36:42 +0000 (01:36 +0000)]
Fix day-of-week for changelog entries 3.00-4, 2.01-5, 2.01-1.

Changes-By: lintian-brush
Fixes: lintian: debian-changelog-has-wrong-day-of-week
See-also: https://lintian.debian.org/tags/debian-changelog-has-wrong-day-of-week.html

4 years agoSet field Upstream-Name in debian/copyright.
Debian Janitor [Wed, 16 Jun 2021 01:36:25 +0000 (01:36 +0000)]
Set field Upstream-Name in debian/copyright.

Changes-By: lintian-brush
4 years agoUse secure URI in debian/watch.
Debian Janitor [Wed, 16 Jun 2021 01:36:16 +0000 (01:36 +0000)]
Use secure URI in debian/watch.

Changes-By: lintian-brush
5 years agoMake sure ocaml pulls ocaml-nox as well. (Closes: #973039)
Stephane Glondu [Fri, 30 Oct 2020 07:38:50 +0000 (08:38 +0100)]
Make sure ocaml pulls ocaml-nox as well. (Closes: #973039)

5 years agoMake fast forward from 4.11.1-3
Stéphane Glondu [Fri, 30 Oct 2020 07:38:03 +0000 (08:38 +0100)]
Make fast forward from 4.11.1-3

[dgit --quilt=gbp]

5 years agoStatically link lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:23:06 +0000 (06:23 +0200)]
Statically link lib{bfd,iberty}

Gbp-Pq: Name 0008-Statically-link-lib-bfd-iberty.patch

5 years agoTrigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable

Gbp-Pq: Name 0007-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

5 years agoDisable DT_TEXTREL warnings on Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:22:39 +0000 (16:22 +0200)]
Disable DT_TEXTREL warnings on Linux i386

Bug: https://github.com/ocaml/ocaml/issues/9800

Gbp-Pq: Name 0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0005-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0004-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 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: <2019-07-22>

Gbp-Pq: Name 0003-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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 0002-Put-manpages-in-section-3o-instead-of-3.patch

5 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 0001-Don-t-use-rpath.patch

5 years agoPrepare upload to unstable
Stephane Glondu [Mon, 12 Oct 2020 14:56:50 +0000 (16:56 +0200)]
Prepare upload to unstable

5 years agoMake fast forward from 4.08.1-10
Stéphane Glondu [Mon, 12 Oct 2020 14:56:34 +0000 (16:56 +0200)]
Make fast forward from 4.08.1-10

[dgit --quilt=gbp]

5 years agoStatically link lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:23:06 +0000 (06:23 +0200)]
Statically link lib{bfd,iberty}

Gbp-Pq: Name 0008-Statically-link-lib-bfd-iberty.patch

5 years agoTrigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable

Gbp-Pq: Name 0007-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

5 years agoDisable DT_TEXTREL warnings on Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:22:39 +0000 (16:22 +0200)]
Disable DT_TEXTREL warnings on Linux i386

Bug: https://github.com/ocaml/ocaml/issues/9800

Gbp-Pq: Name 0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0005-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0004-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 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: <2019-07-22>

Gbp-Pq: Name 0003-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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 0002-Put-manpages-in-section-3o-instead-of-3.patch

5 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 0001-Don-t-use-rpath.patch

5 years agoDisable some tests that fail on Hurd
Stephane Glondu [Sat, 5 Sep 2020 08:20:14 +0000 (10:20 +0200)]
Disable some tests that fail on Hurd

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 13:31:48 +0000 (15:31 +0200)]
Prepare upload to experimental

5 years agoCall ./configure with --disable-native-compiler on bytecode
Stephane Glondu [Fri, 4 Sep 2020 13:31:05 +0000 (15:31 +0200)]
Call ./configure with --disable-native-compiler on bytecode

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 06:33:30 +0000 (08:33 +0200)]
Prepare upload to experimental

5 years agoUpdate changelog
Stephane Glondu [Fri, 4 Sep 2020 06:32:21 +0000 (08:32 +0200)]
Update changelog

5 years agoRe-enable most of tool-debugger tests
Stephane Glondu [Fri, 4 Sep 2020 03:57:11 +0000 (05:57 +0200)]
Re-enable most of tool-debugger tests

5 years agoFix static linking of lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:24:26 +0000 (06:24 +0200)]
Fix static linking of lib{bfd,iberty}

5 years agoAdd riscv64 to native-archs
Stephane Glondu [Fri, 4 Sep 2020 04:01:43 +0000 (06:01 +0200)]
Add riscv64 to native-archs

5 years agoRe-enable testpreempt test for now
Stephane Glondu [Thu, 3 Sep 2020 14:24:19 +0000 (16:24 +0200)]
Re-enable testpreempt test for now

5 years agoUpdate packaging
Stephane Glondu [Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)]
Update packaging

5 years agoTrigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable

5 years agoRenumber patches
Stephane Glondu [Thu, 3 Sep 2020 13:10:30 +0000 (15:10 +0200)]
Renumber patches

5 years agoRefresh patches
Stephane Glondu [Thu, 3 Sep 2020 13:06:02 +0000 (15:06 +0200)]
Refresh patches

 * Avoid-duplicate-definitions-of-common-global-variabl: merged
   upstream
 * Reimplement-custom-without-hacks: removed for now; it will be
   reimplemented with the new -output-complete-exe feature.

5 years agoNew upstream release
Stephane Glondu [Thu, 3 Sep 2020 12:53:20 +0000 (14:53 +0200)]
New upstream release

5 years agoUpdate upstream source from tag 'upstream/4.11.1'
Stephane Glondu [Thu, 3 Sep 2020 12:53:05 +0000 (14:53 +0200)]
Update upstream source from tag 'upstream/4.11.1'

Update to upstream version '4.11.1'
with Debian dir 18488de9d93e9fc62d98bf0d65994acd4c1b76e6

5 years agoNew upstream version 4.11.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:56 +0000 (14:52 +0200)]
New upstream version 4.11.1

5 years agoNew upstream version 4.11.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:22 +0000 (14:52 +0200)]
New upstream version 4.11.0

5 years agoNew upstream version 4.10.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:11 +0000 (14:52 +0200)]
New upstream version 4.10.1

5 years agoNew upstream version 4.10.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:01 +0000 (14:52 +0200)]
New upstream version 4.10.0

5 years agoNew upstream version 4.09.1
Stephane Glondu [Thu, 3 Sep 2020 12:51:50 +0000 (14:51 +0200)]
New upstream version 4.09.1

5 years agoNew upstream version 4.09.0
Stephane Glondu [Thu, 3 Sep 2020 12:51:38 +0000 (14:51 +0200)]
New upstream version 4.09.0

5 years agoSwitch to experimental branches
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches

5 years agoPrepare upload to unstable
Stephane Glondu [Thu, 30 Jul 2020 12:45:52 +0000 (14:45 +0200)]
Prepare upload to unstable

5 years agoMake fast forward from 4.08.1-9
Stéphane Glondu [Thu, 30 Jul 2020 12:45:47 +0000 (14:45 +0200)]
Make fast forward from 4.08.1-9

[dgit --quilt=gbp]

5 years agoDisable DT_TEXTREL warnings on Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:22:39 +0000 (16:22 +0200)]
Disable DT_TEXTREL warnings on Linux i386

Bug: https://github.com/ocaml/ocaml/issues/9800

Gbp-Pq: Name 0008-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

5 years agoAvoid duplicate definitions of "common" global variables
Xavier Leroy [Thu, 12 Dec 2019 15:41:17 +0000 (16:41 +0100)]
Avoid duplicate definitions of "common" global variables

The variables are caml_debug_info and caml_atom_table.
The multiple definitions look like a cut-and-paste error.
They cause problems with C compilers that don't follow the "common" model.

Bug: https://github.com/ocaml/ocaml/issues/9144
Bug-Debian: https://bugs.debian.org/957623

Gbp-Pq: Name 0007-Avoid-duplicate-definitions-of-common-global-variabl.patch

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 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: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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

5 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

5 years agoUpdate changelog
Stephane Glondu [Wed, 29 Jul 2020 14:24:17 +0000 (16:24 +0200)]
Update changelog

5 years agoDisable DT_TEXTREL warnings on i386
Stephane Glondu [Thu, 30 Jul 2020 09:24:08 +0000 (11:24 +0200)]
Disable DT_TEXTREL warnings on i386

5 years agoRevert "Disable PIE on Debian Linux i386"
Stephane Glondu [Thu, 30 Jul 2020 09:23:56 +0000 (11:23 +0200)]
Revert "Disable PIE on Debian Linux i386"

This reverts commit 631ee1abf69f76cd8ce8c5205537dc1cb7043fd5.

5 years agoDisable PIE on Debian Linux i386
Stephane Glondu [Wed, 29 Jul 2020 14:23:47 +0000 (16:23 +0200)]
Disable PIE on Debian Linux i386

5 years agoUnconditionally disable testpreempt test
Stephane Glondu [Thu, 30 Jul 2020 09:30:33 +0000 (11:30 +0200)]
Unconditionally disable testpreempt test

5 years agoPrepare upload to unstable
Stephane Glondu [Fri, 24 Jul 2020 14:51:10 +0000 (16:51 +0200)]
Prepare upload to unstable

5 years agoUpdate changelog
Stephane Glondu [Fri, 24 Jul 2020 14:21:20 +0000 (16:21 +0200)]
Update changelog

5 years agoUpdate Lintian overrides
Stephane Glondu [Fri, 24 Jul 2020 14:47:44 +0000 (16:47 +0200)]
Update Lintian overrides

5 years agoMake fast forward from 4.08.1-8
Stéphane Glondu [Fri, 24 Jul 2020 14:51:04 +0000 (16:51 +0200)]
Make fast forward from 4.08.1-8

[dgit --quilt=gbp]

5 years agoAvoid duplicate definitions of "common" global variables
Xavier Leroy [Thu, 12 Dec 2019 15:41:17 +0000 (16:41 +0100)]
Avoid duplicate definitions of "common" global variables

The variables are caml_debug_info and caml_atom_table.
The multiple definitions look like a cut-and-paste error.
They cause problems with C compilers that don't follow the "common" model.

Bug: https://github.com/ocaml/ocaml/issues/9144
Bug-Debian: https://bugs.debian.org/957623

Gbp-Pq: Name 0007-Avoid-duplicate-definitions-of-common-global-variabl.patch

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 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: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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

5 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

5 years agoUpdate packaging
Stephane Glondu [Fri, 24 Jul 2020 14:20:13 +0000 (16:20 +0200)]
Update packaging

5 years agoFix FTBFS with gcc-10 (Closes: #957623)
Stephane Glondu [Fri, 24 Jul 2020 14:17:42 +0000 (16:17 +0200)]
Fix FTBFS with gcc-10 (Closes: #957623)

5 years agoRefresh patches
Stephane Glondu [Fri, 24 Jul 2020 14:17:11 +0000 (16:17 +0200)]
Refresh patches

5 years agotuareg-mode => elpa-tuareg
Ralf Treinen [Mon, 27 Apr 2020 13:43:55 +0000 (15:43 +0200)]
tuareg-mode => elpa-tuareg

5 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 30 Jan 2020 12:11:35 +0000 (13:11 +0100)]
Update changelog and prepare upload to unstable

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:07:16 +0000 (13:07 +0100)]
read_main_debug_info: do not die in -custom executables

5 years agoMake fast forward from 4.08.1-7
Stéphane Glondu [Thu, 30 Jan 2020 12:11:32 +0000 (13:11 +0100)]
Make fast forward from 4.08.1-7

[dgit --quilt=gbp]

5 years agoread_main_debug_info: do not die in -custom executables
Stephane Glondu [Thu, 30 Jan 2020 12:06:08 +0000 (13:06 +0100)]
read_main_debug_info: do not die in -custom executables

This fatal error occurred with some executables linked with -custom
(with the Debian-specific patch), notably ppx preprocessors during the
build of ppxlib.

Gbp-Pq: Name 0006-read_main_debug_info-do-not-die-in-custom-executable.patch

5 years agoReimplement -custom without hacks
Stephane Glondu [Sun, 18 Aug 2019 06:04:51 +0000 (08:04 +0200)]
Reimplement -custom without hacks

Origin: https://github.com/ocaml/ocaml/pull/8872

Gbp-Pq: Name 0008-Reimplement-custom-without-hacks.patch

5 years agoCheck for definition of AT_SECURE before using it
Stephane Glondu [Wed, 24 Jul 2019 07:08:39 +0000 (09:08 +0200)]
Check for definition of AT_SECURE before using it

This fixes compilation on kfreebsd-*.

Forwarded: https://github.com/ocaml/ocaml/pull/8842

Gbp-Pq: Name 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch

5 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: <2019-07-22>

Gbp-Pq: Name 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

5 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

5 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

5 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Tue, 14 Jan 2020 12:36:43 +0000 (13:36 +0100)]
Update changelog and prepare upload to unstable