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]
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
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
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
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
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
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
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
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
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
Stephane Glondu [Thu, 25 Nov 2021 14:40:10 +0000 (15:40 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Thu, 25 Nov 2021 14:35:53 +0000 (15:35 +0100)]
Bump Standards-Version to 4.6.0
Stephane Glondu [Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)]
Update debian/watch
Stephane Glondu [Thu, 25 Nov 2021 14:08:33 +0000 (15:08 +0100)]
Do not error on warnings in autoconf (Closes: #978875)
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
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
Debian Janitor [Wed, 16 Jun 2021 01:36:25 +0000 (01:36 +0000)]
Set field Upstream-Name in debian/copyright.
Changes-By: lintian-brush
Debian Janitor [Wed, 16 Jun 2021 01:36:16 +0000 (01:36 +0000)]
Use secure URI in debian/watch.
Changes-By: lintian-brush
Stephane Glondu [Fri, 30 Oct 2020 07:38:50 +0000 (08:38 +0100)]
Make sure ocaml pulls ocaml-nox as well. (Closes: #973039)
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]
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
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
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
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
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
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
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
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
Stephane Glondu [Mon, 12 Oct 2020 14:56:50 +0000 (16:56 +0200)]
Prepare upload to unstable
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]
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
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
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
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
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
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
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
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
Stephane Glondu [Sat, 5 Sep 2020 08:20:14 +0000 (10:20 +0200)]
Disable some tests that fail on Hurd
Stephane Glondu [Fri, 4 Sep 2020 13:31:48 +0000 (15:31 +0200)]
Prepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 13:31:05 +0000 (15:31 +0200)]
Call ./configure with --disable-native-compiler on bytecode
Stephane Glondu [Fri, 4 Sep 2020 06:33:30 +0000 (08:33 +0200)]
Prepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 06:32:21 +0000 (08:32 +0200)]
Update changelog
Stephane Glondu [Fri, 4 Sep 2020 03:57:11 +0000 (05:57 +0200)]
Re-enable most of tool-debugger tests
Stephane Glondu [Fri, 4 Sep 2020 04:24:26 +0000 (06:24 +0200)]
Fix static linking of lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:01:43 +0000 (06:01 +0200)]
Add riscv64 to native-archs
Stephane Glondu [Thu, 3 Sep 2020 14:24:19 +0000 (16:24 +0200)]
Re-enable testpreempt test for now
Stephane Glondu [Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)]
Update packaging
Stephane Glondu [Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)]
Trigger -output-complete-exe on -custom with an environment variable
Stephane Glondu [Thu, 3 Sep 2020 13:10:30 +0000 (15:10 +0200)]
Renumber 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.
Stephane Glondu [Thu, 3 Sep 2020 12:53:20 +0000 (14:53 +0200)]
New upstream release
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
Stephane Glondu [Thu, 3 Sep 2020 12:52:56 +0000 (14:52 +0200)]
New upstream version 4.11.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:22 +0000 (14:52 +0200)]
New upstream version 4.11.0
Stephane Glondu [Thu, 3 Sep 2020 12:52:11 +0000 (14:52 +0200)]
New upstream version 4.10.1
Stephane Glondu [Thu, 3 Sep 2020 12:52:01 +0000 (14:52 +0200)]
New upstream version 4.10.0
Stephane Glondu [Thu, 3 Sep 2020 12:51:50 +0000 (14:51 +0200)]
New upstream version 4.09.1
Stephane Glondu [Thu, 3 Sep 2020 12:51:38 +0000 (14:51 +0200)]
New upstream version 4.09.0
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Stephane Glondu [Thu, 30 Jul 2020 12:45:52 +0000 (14:45 +0200)]
Prepare upload to unstable
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]
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
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
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
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
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
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
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
Stephane Glondu [Wed, 29 Jul 2020 14:24:17 +0000 (16:24 +0200)]
Update changelog
Stephane Glondu [Thu, 30 Jul 2020 09:24:08 +0000 (11:24 +0200)]
Disable DT_TEXTREL warnings on 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.
Stephane Glondu [Wed, 29 Jul 2020 14:23:47 +0000 (16:23 +0200)]
Disable PIE on Debian Linux i386
Stephane Glondu [Thu, 30 Jul 2020 09:30:33 +0000 (11:30 +0200)]
Unconditionally disable testpreempt test
Stephane Glondu [Fri, 24 Jul 2020 14:51:10 +0000 (16:51 +0200)]
Prepare upload to unstable
Stephane Glondu [Fri, 24 Jul 2020 14:21:20 +0000 (16:21 +0200)]
Update changelog
Stephane Glondu [Fri, 24 Jul 2020 14:47:44 +0000 (16:47 +0200)]
Update Lintian overrides
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]
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
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
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
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
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
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
Stephane Glondu [Fri, 24 Jul 2020 14:20:13 +0000 (16:20 +0200)]
Update packaging
Stephane Glondu [Fri, 24 Jul 2020 14:17:42 +0000 (16:17 +0200)]
Fix FTBFS with gcc-10 (Closes: #957623)
Stephane Glondu [Fri, 24 Jul 2020 14:17:11 +0000 (16:17 +0200)]
Refresh patches
Ralf Treinen [Mon, 27 Apr 2020 13:43:55 +0000 (15:43 +0200)]
tuareg-mode => elpa-tuareg
Stephane Glondu [Thu, 30 Jan 2020 12:11:35 +0000 (13:11 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Thu, 30 Jan 2020 12:07:16 +0000 (13:07 +0100)]
read_main_debug_info: do not die in -custom executables
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]
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
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
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
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
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
Stephane Glondu [Tue, 14 Jan 2020 12:36:43 +0000 (13:36 +0100)]
Update changelog and prepare upload to unstable