Raspbian automatic forward porter [Tue, 28 Feb 2023 01:33:27 +0000 (01:33 +0000)]
Merge version 4.13.1-3+rpi1 and 4.13.1-4 to produce 4.13.1-4+rpi1
Stéphane Glondu [Sun, 12 Feb 2023 10:46:40 +0000 (11:46 +0100)]
Make fast forward from 4.13.1-3
[dgit --quilt=gbp]
Stéphane Glondu [Wed, 8 Feb 2023 07:45:00 +0000 (08:45 +0100)]
Filter out -f{debug,file}-prefix-map= from ocamlc_cflags and mkexe
Bug-Debian: https://bugs.debian.org/
1030785
Forwarded: not-needed
Gbp-Pq: Name 0008-Filter-out-f-debug-file-prefix-map-from-ocamlc_cflag.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 0007-Put-manpages-in-section-3o-instead-of-3.patch
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 0006-Do-not-error-on-warnings-in-autoconf.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 0005-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 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.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 0003-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: <2021-12-21>
Gbp-Pq: Name 0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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
Stéphane Glondu [Sun, 12 Feb 2023 10:47:19 +0000 (11:47 +0100)]
Prepare upload to unstable
Stéphane Glondu [Sun, 12 Feb 2023 10:44:21 +0000 (11:44 +0100)]
Update packaging
Stéphane Glondu [Wed, 8 Feb 2023 08:48:17 +0000 (09:48 +0100)]
Update changelog
Stéphane Glondu [Wed, 8 Feb 2023 08:48:04 +0000 (09:48 +0100)]
Avoid build path ending up in binaries (Closes: #
1030785)
Stéphane Glondu [Wed, 8 Feb 2023 09:54:22 +0000 (10:54 +0100)]
Remove --with-x from call to configure
Peter Michael Green [Thu, 3 Feb 2022 19:21:30 +0000 (19:21 +0000)]
Remove some files that now exist in source package from clean target.
Peter Michael Green [Thu, 3 Feb 2022 19:12:16 +0000 (19:12 +0000)]
Update raspbian patches for new upstream.
Peter Michael Green [Thu, 3 Feb 2022 19:07:26 +0000 (19:07 +0000)]
Manual merge of version 4.11.1-5+rpi1 and 4.13.1-3 to produce 4.13.1-3+rpi1
Stephane Glondu [Wed, 19 Jan 2022 10:15:02 +0000 (11:15 +0100)]
Prepare upload to unstable
Stéphane Glondu [Wed, 19 Jan 2022 10:14:42 +0000 (11:14 +0100)]
Make fast forward from 4.11.1-5
[dgit --quilt=gbp]
Julien Cristau [Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)]
Put manpages in section 3o instead of 3
Gbp-Pq: Name 0007-Put-manpages-in-section-3o-instead-of-3.patch
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 0006-Do-not-error-on-warnings-in-autoconf.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 0005-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 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.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 0003-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: <2021-12-21>
Gbp-Pq: Name 0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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 [Wed, 19 Jan 2022 10:13:36 +0000 (11:13 +0100)]
Switch back to sid branches
Stephane Glondu [Thu, 30 Dec 2021 08:34:44 +0000 (09:34 +0100)]
Update changelog
Stephane Glondu [Thu, 30 Dec 2021 08:26:50 +0000 (09:26 +0100)]
Do no longer provide /usr/include/caml symlink
Stephane Glondu [Tue, 28 Dec 2021 10:03:44 +0000 (11:03 +0100)]
Adapt maintainer scripts to new binary package structure
Stephane Glondu [Wed, 22 Dec 2021 07:17:18 +0000 (08:17 +0100)]
Update changelog and prepare upload to experimental
Stephane Glondu [Wed, 22 Dec 2021 12:53:10 +0000 (13:53 +0100)]
Ignore tests failure on m68k
Stephane Glondu [Wed, 22 Dec 2021 08:24:46 +0000 (09:24 +0100)]
Enable fma emulation on m68k
Stephane Glondu [Wed, 22 Dec 2021 07:51:22 +0000 (08:51 +0100)]
Move ocaml-nox manpages to ocaml
Stephane Glondu [Wed, 22 Dec 2021 07:49:51 +0000 (08:49 +0100)]
Update Lintian overrides
Stephane Glondu [Wed, 22 Dec 2021 07:13:56 +0000 (08:13 +0100)]
Restore patch putting manpages in section 3o
Stephane Glondu [Wed, 22 Dec 2021 07:15:13 +0000 (08:15 +0100)]
Fix building of manpages on bytecode architectures
Stephane Glondu [Wed, 22 Dec 2021 07:05:41 +0000 (08:05 +0100)]
Put transitional packages in section oldlibs
Stephane Glondu [Tue, 21 Dec 2021 15:33:35 +0000 (16:33 +0100)]
Update changelog and prepare upload to experimental
Stephane Glondu [Tue, 21 Dec 2021 14:15:07 +0000 (15:15 +0100)]
Make *-nox packages transitional
There is no point in providing these packages, since graphics is now
a separate package.
Stephane Glondu [Tue, 21 Dec 2021 13:07:35 +0000 (14:07 +0100)]
Update packaging
Stephane Glondu [Tue, 21 Dec 2021 13:06:03 +0000 (14:06 +0100)]
Renumber patches
Stephane Glondu [Tue, 21 Dec 2021 13:03:33 +0000 (14:03 +0100)]
Refresh patches
Stephane Glondu [Tue, 21 Dec 2021 12:50:45 +0000 (13:50 +0100)]
New upstream release
Stephane Glondu [Tue, 21 Dec 2021 12:50:31 +0000 (13:50 +0100)]
Update upstream source from tag 'upstream/4.13.1'
Update to upstream version '4.13.1'
with Debian dir
0aa2aaf66af0c5d08c2f36ad4762fecd282f7926
Stephane Glondu [Tue, 21 Dec 2021 12:50:00 +0000 (13:50 +0100)]
New upstream version 4.13.1
Stephane Glondu [Tue, 21 Dec 2021 12:49:01 +0000 (13:49 +0100)]
New upstream version 4.13.0
Stephane Glondu [Tue, 21 Dec 2021 12:48:26 +0000 (13:48 +0100)]
New upstream version 4.12.1
Stephane Glondu [Tue, 21 Dec 2021 12:47:45 +0000 (13:47 +0100)]
New upstream version 4.12.0
Stephane Glondu [Tue, 21 Dec 2021 12:47:11 +0000 (13:47 +0100)]
New upstream version 4.11.2
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Raspbian automatic forward porter [Thu, 2 Dec 2021 16:21:03 +0000 (16:21 +0000)]
Merge version 4.11.1-4+rpi1 and 4.11.1-5 to produce 4.11.1-5+rpi1
Stephane Glondu [Thu, 25 Nov 2021 14:40:10 +0000 (15:40 +0100)]
Update changelog and prepare upload to unstable
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: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
Raspbian forward porter [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
Merge ocaml (4.11.1-4+rpi1) import into refs/heads/workingbranch
Peter Michael Green [Sat, 7 Dec 2019 05:28:18 +0000 (05:28 +0000)]
Remove gitattributes that cause problems for dgit.
Gbp-Pq: Name remove-gitattributes-that-cause-problems.patch
Peter Michael Green [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
Gbp-Pq: Name use-armv6-for-raspbian.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
Raspbian forward porter [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
ocaml (4.11.1-4+rpi1) bullseye-staging; urgency=medium
[changes brought forward from 4.08.1-4+rpi2 by Peter Michael Green <plugwash@raspbian.org> at Tue, 26 Nov 2019 19:38:59 +0000]
* Revert previous raspbian changes, changing the triplet
now seems to cause more problems than it solves (specifically
it causes ocaml to try and use nonexistant compilers).
* Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
* Partially fix clean target.
[changes introduced in 4.08.1-5+rpi1 by Peter Michael Green]
* Remove gitattributes that cause problems for dgit.
[dgit import unpatched ocaml 4.11.1-4+rpi1]
Raspbian forward porter [Sat, 7 Nov 2020 23:17:21 +0000 (23:17 +0000)]
Import ocaml_4.11.1-4+rpi1.debian.tar.xz
[dgit import tarball ocaml 4.11.1-4+rpi1 ocaml_4.11.1-4+rpi1.debian.tar.xz]
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