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: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
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
Stephane Glondu [Tue, 14 Jan 2020 12:54:14 +0000 (13:54 +0100)]
Rename debian/TODO.Debian to debian/TODO
Stephane Glondu [Tue, 14 Jan 2020 12:53:21 +0000 (13:53 +0100)]
Use . in BUILD_PATH_PREFIX_MAP
Stéphane Glondu [Tue, 14 Jan 2020 12:36:36 +0000 (13:36 +0100)]
Make fast forward from 4.08.1-6
[dgit --quilt=gbp]
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:32:43 +0000 (13:32 +0100)]
Add stdlib-shims compatibility package
Stéphane Glondu [Tue, 14 Jan 2020 12:27:04 +0000 (12:27 +0000)]
Merge branch 'uchar' into 'debian/sid'
Install uchar compatibility package (#944404)
See merge request ocaml-team/ocaml!1
Andy Li [Tue, 14 Jan 2020 10:52:25 +0000 (18:52 +0800)]
Provide libuchar-ocaml{,-dev}
Andy Li [Tue, 14 Jan 2020 10:51:30 +0000 (18:51 +0800)]
Merge branch 'debian/sid' into uchar
# Conflicts:
# debian/rules
Stephane Glondu [Sun, 29 Dec 2019 08:15:03 +0000 (09:15 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Sun, 29 Dec 2019 09:28:39 +0000 (10:28 +0100)]
Make fast forward from 4.08.1-5
[dgit --quilt=gbp]
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 [Sun, 29 Dec 2019 08:31:27 +0000 (09:31 +0100)]
Provide libseq-ocaml{,-dev}
Stephane Glondu [Sun, 29 Dec 2019 08:29:26 +0000 (09:29 +0100)]
Add Rules-Requires-Root: no
Stephane Glondu [Sun, 29 Dec 2019 08:14:37 +0000 (09:14 +0100)]
Fix generation of ocaml-man (Closes: #947197)
Andy Li [Sat, 28 Dec 2019 17:20:25 +0000 (01:20 +0800)]
Install uchar compatibility package (#944404)
Stephane Glondu [Mon, 2 Dec 2019 12:04:46 +0000 (13:04 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Mon, 2 Dec 2019 12:04:37 +0000 (13:04 +0100)]
Make fast forward from 4.08.1-4
[dgit --quilt=gbp]
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 [Mon, 2 Dec 2019 12:04:05 +0000 (13:04 +0100)]
Bump Standards-Version to 4.4.1
Stephane Glondu [Mon, 2 Dec 2019 12:03:48 +0000 (13:03 +0100)]
ocaml-nox: add Breaks+Replaces ocaml-compiler-libs (Closes: #945495)
Stephane Glondu [Wed, 13 Nov 2019 15:55:59 +0000 (16:55 +0100)]
Add reference to closed bug
Stephane Glondu [Fri, 8 Nov 2019 10:43:41 +0000 (11:43 +0100)]
Update changelog and prepare upload to unstable
Stéphane Glondu [Fri, 8 Nov 2019 10:43:37 +0000 (11:43 +0100)]
Make fast forward from 4.08.1-3
[dgit --quilt=gbp]
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, 8 Nov 2019 10:42:46 +0000 (11:42 +0100)]
Install seq compatibility package
Stephane Glondu [Fri, 8 Nov 2019 10:39:00 +0000 (11:39 +0100)]
ocaml-base-nox Breaks/Replaces also ocaml-nox (Closes: #944126)
Stephane Glondu [Wed, 6 Nov 2019 10:00:42 +0000 (11:00 +0100)]
Update changelog and prepare upload to unstable
Stephane Glondu [Wed, 6 Nov 2019 10:10:06 +0000 (11:10 +0100)]
Add relationship for ocaml-nox overwriting ocaml-base-nox (Closes: #944126)
..and clean up obsolete Breaks/Replaces.
Stéphane Glondu [Wed, 6 Nov 2019 10:12:49 +0000 (11:12 +0100)]
Make fast forward from 4.08.1-2
[dgit --quilt=gbp]
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, 6 Nov 2019 09:55:55 +0000 (10:55 +0100)]
Do no longer install ocaml-native-compilers.conf
ocaml{dep,c,...} are now symlinks to the "best" versions.
Stephane Glondu [Mon, 4 Nov 2019 12:44:22 +0000 (13:44 +0100)]
Prepare upload to unstable
Stéphane Glondu [Mon, 4 Nov 2019 12:43:40 +0000 (13:43 +0100)]
Make fast forward from 4.05.0-12
[dgit --quilt=gbp]
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 [Mon, 4 Nov 2019 09:46:17 +0000 (10:46 +0100)]
Update changelog
Stephane Glondu [Mon, 4 Nov 2019 09:42:36 +0000 (10:42 +0100)]
Disable failing tests on hurd
Stephane Glondu [Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)]
ocaml-nox do no longer provide num
Stephane Glondu [Mon, 4 Nov 2019 09:29:07 +0000 (10:29 +0100)]
Switch experimental branches to sid
Stephane Glondu [Mon, 4 Nov 2019 09:25:39 +0000 (10:25 +0100)]
Merge branch 'debian/experimental' into debian/sid
Stephane Glondu [Mon, 30 Sep 2019 14:57:00 +0000 (16:57 +0200)]
Avoid leaving an empty file after patch
Stephane Glondu [Mon, 30 Sep 2019 14:40:57 +0000 (16:40 +0200)]
Prepare upload to experimental
Stephane Glondu [Mon, 30 Sep 2019 13:47:03 +0000 (15:47 +0200)]
Refresh patches
Stephane Glondu [Mon, 30 Sep 2019 13:40:20 +0000 (15:40 +0200)]
Update changelog
Stephane Glondu [Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)]
Update OCAML_ABI
Stephane Glondu [Mon, 30 Sep 2019 13:38:38 +0000 (15:38 +0200)]
Update upstream source from tag 'upstream/4.08.1'
Update to upstream version '4.08.1'
with Debian dir
d8f1f22ce576a72aa7e4231b5247bca8a01f660d
Stephane Glondu [Mon, 30 Sep 2019 13:38:28 +0000 (15:38 +0200)]
New upstream version 4.08.1
Stephane Glondu [Mon, 30 Sep 2019 13:35:53 +0000 (15:35 +0200)]
Update debian/control.in
Stephane Glondu [Mon, 30 Sep 2019 13:35:24 +0000 (15:35 +0200)]
Build-depend on debhelper-compat
Stephane Glondu [Sat, 24 Aug 2019 05:04:44 +0000 (07:04 +0200)]
Remove quilt from Build-Depends
Stephane Glondu [Sun, 18 Aug 2019 06:30:05 +0000 (08:30 +0200)]
Explicit dependencies of static -lbfd
Stephane Glondu [Sun, 18 Aug 2019 06:07:27 +0000 (08:07 +0200)]
Update changelog