ocaml.git
3 weeks agoMerge version 5.4.0-3+rpi1 and 5.4.1-1 to produce 5.4.1-1+rpi1 forky-staging archive/raspbian/5.4.1-1+rpi1 raspbian/5.4.1-1+rpi1
Raspbian automatic forward porter [Fri, 3 Jul 2026 10:46:37 +0000 (11:46 +0100)]
Merge version 5.4.0-3+rpi1 and 5.4.1-1 to produce 5.4.1-1+rpi1

5 weeks agoMake fast forward from 5.4.0-3
Stéphane Glondu [Tue, 16 Jun 2026 19:25:11 +0000 (21:25 +0200)]
Make fast forward from 5.4.0-3

[dgit --quilt=gbp]

5 weeks agoPrint .cmi flags in objinfo
Stéphane Glondu [Sun, 1 Mar 2026 21:23:34 +0000 (22:23 +0100)]
Print .cmi flags in objinfo

Gbp-Pq: Name Print-.cmi-flags-in-objinfo.patch

5 weeks agoCompile utils/config.{cmi,cmx} with -opaque
Stéphane Glondu [Sun, 1 Mar 2026 20:32:31 +0000 (21:32 +0100)]
Compile utils/config.{cmi,cmx} with -opaque

The goal is to stabilize compiler-libs ABI.

Gbp-Pq: Name Compile-utils-config.-cmi-cmx-with-opaque.patch

5 weeks agoMark test_compact_manydomains as multicore
Stéphane Glondu [Mon, 15 Dec 2025 06:11:39 +0000 (07:11 +0100)]
Mark test_compact_manydomains as multicore

Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch

5 weeks 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: <2021-12-21>

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

5 weeks 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 Do-not-error-on-warnings-in-autoconf.patch

5 weeks 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 Trigger-output-complete-exe-on-custom-with-an-enviro.patch

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

5 weeks agoPrepare upload to unstable
Stéphane Glondu [Tue, 16 Jun 2026 19:25:24 +0000 (21:25 +0200)]
Prepare upload to unstable

5 weeks agoRevert "Switch to experimental branches"
Stéphane Glondu [Tue, 16 Jun 2026 19:23:56 +0000 (21:23 +0200)]
Revert "Switch to experimental branches"

This reverts commit 815ca4e40f0b5972b5d1093355b8d4b60293a720.

4 months agoUpdate changelog and prepare upload to experimental
Stéphane Glondu [Mon, 2 Mar 2026 07:30:03 +0000 (08:30 +0100)]
Update changelog and prepare upload to experimental

4 months agoUpdate packaging
Stéphane Glondu [Mon, 2 Mar 2026 07:28:27 +0000 (08:28 +0100)]
Update packaging

4 months agoRefresh patches
Stéphane Glondu [Mon, 2 Mar 2026 07:10:09 +0000 (08:10 +0100)]
Refresh patches

4 months agoNew upstream release
Stéphane Glondu [Mon, 2 Mar 2026 07:04:31 +0000 (08:04 +0100)]
New upstream release

4 months agoUpdate upstream source from tag 'upstream/5.4.1'
Stéphane Glondu [Mon, 2 Mar 2026 07:02:55 +0000 (08:02 +0100)]
Update upstream source from tag 'upstream/5.4.1'

Update to upstream version '5.4.1'
with Debian dir 5a25489526db833e3bb868e9b75f72ef44474d4e

4 months agoNew upstream version 5.4.1
Stéphane Glondu [Mon, 2 Mar 2026 07:02:49 +0000 (08:02 +0100)]
New upstream version 5.4.1

4 months agoSwitch to experimental branches
Stéphane Glondu [Sun, 12 Oct 2025 09:48:33 +0000 (11:48 +0200)]
Switch to experimental branches

4 months agoUpdate changelog
Stéphane Glondu [Sun, 1 Mar 2026 20:59:38 +0000 (21:59 +0100)]
Update changelog

4 months agoPrint .cmi flags in objinfo
Stéphane Glondu [Sun, 1 Mar 2026 21:24:41 +0000 (22:24 +0100)]
Print .cmi flags in objinfo

4 months agoStabilize compiler-libs ABI by not including config.cmx
Stéphane Glondu [Sun, 1 Mar 2026 20:32:57 +0000 (21:32 +0100)]
Stabilize compiler-libs ABI by not including config.cmx

4 months agoUpdate the OCaml presentation in the package descriptions
Samuel Hym [Thu, 26 Feb 2026 12:36:22 +0000 (13:36 +0100)]
Update the OCaml presentation in the package descriptions

Extract the first sentence of the project README to give an up-to-date
description of the OCaml language

The 'Objective Caml' name has been deprecated on version 4.0.0 (2012,
see Changes); Caml Light has been deprecated a long time before that

4 months agoMerge version 5.4.0-2+rpi1 and 5.4.0-3 to produce 5.4.0-3+rpi1 archive/raspbian/5.4.0-3+rpi1 raspbian/5.4.0-3+rpi1
Raspbian automatic forward porter [Thu, 26 Feb 2026 21:33:54 +0000 (21:33 +0000)]
Merge version 5.4.0-2+rpi1 and 5.4.0-3 to produce 5.4.0-3+rpi1

5 months agoUpdate changelog and prepare upload to unstable
Stéphane Glondu [Wed, 11 Feb 2026 13:40:23 +0000 (14:40 +0100)]
Update changelog and prepare upload to unstable

5 months agoFix /usr/local/lib/ocaml ownership (Closes: #982067)
Stéphane Glondu [Wed, 11 Feb 2026 13:38:50 +0000 (14:38 +0100)]
Fix /usr/local/lib/ocaml ownership (Closes: #982067)

5 months agoDeclare fast forward from 5.4.0-2
Stéphane Glondu [Wed, 11 Feb 2026 13:40:10 +0000 (14:40 +0100)]
Declare fast forward from 5.4.0-2

[dgit --quilt=gbp --overwrite]

5 months agoIncrease the amount of data written to a pipe in a test
Stephen Dolan [Mon, 30 Jun 2025 12:58:36 +0000 (13:58 +0100)]
Increase the amount of data written to a pipe in a test

On some OSes, you need to write more than 1MB of data to a pipe
before writes block, and read more than 64k to unblock them.

Bug-Debian: https://bugs.debian.org/1107773
Origin: https://github.com/ocaml/ocaml/pull/14116

Gbp-Pq: Name Increase-the-amount-of-data-written-to-a-pipe-in-a-test.patch

5 months agoMark test_compact_manydomains as multicore
Stéphane Glondu [Mon, 15 Dec 2025 06:11:39 +0000 (07:11 +0100)]
Mark test_compact_manydomains as multicore

Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch

5 months 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: <2021-12-21>

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

5 months 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 Do-not-error-on-warnings-in-autoconf.patch

5 months 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 Trigger-output-complete-exe-on-custom-with-an-enviro.patch

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

5 months agoRemove MANIFEST and "debian/rules regenerate"
Stéphane Glondu [Wed, 11 Feb 2026 13:33:34 +0000 (14:33 +0100)]
Remove MANIFEST and "debian/rules regenerate"

5 months agoClean up Breaks/Replaces fulfilled by stable
Stéphane Glondu [Wed, 11 Feb 2026 13:32:45 +0000 (14:32 +0100)]
Clean up Breaks/Replaces fulfilled by stable

5 months agoRemove transitional packages (Closes: #1125099)
Stéphane Glondu [Wed, 11 Feb 2026 13:28:01 +0000 (14:28 +0100)]
Remove transitional packages (Closes: #1125099)

6 months agoMerge version 5.4.0-1+rpi1 and 5.4.0-2 to produce 5.4.0-2+rpi1 archive/raspbian/5.4.0-2+rpi1 raspbian/5.4.0-2+rpi1
Raspbian automatic forward porter [Thu, 15 Jan 2026 04:00:17 +0000 (04:00 +0000)]
Merge version 5.4.0-1+rpi1 and 5.4.0-2 to produce 5.4.0-2+rpi1

6 months agoMerge version 5.3.0-3+rpi1 and 5.4.0-1 to produce 5.4.0-1+rpi1 archive/raspbian/5.4.0-1+rpi1 raspbian/5.4.0-1+rpi1
Raspbian automatic forward porter [Tue, 13 Jan 2026 18:32:24 +0000 (18:32 +0000)]
Merge version 5.3.0-3+rpi1 and 5.4.0-1 to produce 5.4.0-1+rpi1

6 months agoUpdate changelog and prepare upload to unstable
Stéphane Glondu [Fri, 9 Jan 2026 07:54:57 +0000 (08:54 +0100)]
Update changelog and prepare upload to unstable

6 months agoMake fast forward from 5.4.0-1
Stéphane Glondu [Fri, 9 Jan 2026 07:54:31 +0000 (08:54 +0100)]
Make fast forward from 5.4.0-1

[dgit --quilt=gbp]

6 months agoIncrease the amount of data written to a pipe in a test
Stephen Dolan [Mon, 30 Jun 2025 12:58:36 +0000 (13:58 +0100)]
Increase the amount of data written to a pipe in a test

On some OSes, you need to write more than 1MB of data to a pipe
before writes block, and read more than 64k to unblock them.

Bug-Debian: https://bugs.debian.org/1107773
Origin: https://github.com/ocaml/ocaml/pull/14116

Gbp-Pq: Name Increase-the-amount-of-data-written-to-a-pipe-in-a-test.patch

6 months agoMark test_compact_manydomains as multicore
Stéphane Glondu [Mon, 15 Dec 2025 06:11:39 +0000 (07:11 +0100)]
Mark test_compact_manydomains as multicore

Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch

6 months 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: <2021-12-21>

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

6 months 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 Do-not-error-on-warnings-in-autoconf.patch

6 months 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 Trigger-output-complete-exe-on-custom-with-an-enviro.patch

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

6 months agoIncrease the amount of data written to a pipe in a test
Stéphane Glondu [Fri, 9 Jan 2026 07:53:44 +0000 (08:53 +0100)]
Increase the amount of data written to a pipe in a test

(Closes: #1107773)

6 months agoPrepare upload to unstable
Stéphane Glondu [Fri, 26 Dec 2025 11:48:57 +0000 (12:48 +0100)]
Prepare upload to unstable

6 months agoMake fast forward from 5.3.0-3
Stéphane Glondu [Fri, 26 Dec 2025 11:48:51 +0000 (12:48 +0100)]
Make fast forward from 5.3.0-3

[dgit --quilt=gbp]

6 months agoMark test_compact_manydomains as multicore
Stéphane Glondu [Mon, 15 Dec 2025 06:11:39 +0000 (07:11 +0100)]
Mark test_compact_manydomains as multicore

Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch

6 months 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: <2021-12-21>

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

6 months 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 Do-not-error-on-warnings-in-autoconf.patch

6 months 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 Trigger-output-complete-exe-on-custom-with-an-enviro.patch

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

6 months agoRevert "Switch to experimental branches"
Stéphane Glondu [Fri, 26 Dec 2025 11:46:35 +0000 (12:46 +0100)]
Revert "Switch to experimental branches"

This reverts commit 6b3b56d36eb066e2807509872ff447274fe3db7b.

7 months agoUpdate changelog and prepare upload to experimental
Stéphane Glondu [Mon, 15 Dec 2025 06:12:45 +0000 (07:12 +0100)]
Update changelog and prepare upload to experimental

7 months agoMark test_compact_manydomains as multicore
Stéphane Glondu [Mon, 15 Dec 2025 06:12:00 +0000 (07:12 +0100)]
Mark test_compact_manydomains as multicore

7 months agoUpdate changelog and prepare upload to experimental
Stéphane Glondu [Sun, 14 Dec 2025 09:53:40 +0000 (10:53 +0100)]
Update changelog and prepare upload to experimental

7 months agoRemove Rules-Requires-Root
Stéphane Glondu [Sun, 14 Dec 2025 10:12:16 +0000 (11:12 +0100)]
Remove Rules-Requires-Root

7 months agofma test from test suite fails on hppa, enable emulation like on m68k
Stéphane Glondu [Sun, 14 Dec 2025 09:53:11 +0000 (10:53 +0100)]
fma test from test suite fails on hppa, enable emulation like on m68k

9 months agoPrepare upload to experimental
Stéphane Glondu [Sun, 12 Oct 2025 10:31:32 +0000 (12:31 +0200)]
Prepare upload to experimental

9 months agoUpdate changelog
Stéphane Glondu [Sun, 12 Oct 2025 10:11:11 +0000 (12:11 +0200)]
Update changelog

9 months agoUpdate packaging
Stéphane Glondu [Sun, 12 Oct 2025 10:08:26 +0000 (12:08 +0200)]
Update packaging

9 months agoRemove two seemingly obsolete patches
Stéphane Glondu [Sun, 12 Oct 2025 10:04:19 +0000 (12:04 +0200)]
Remove two seemingly obsolete patches

9 months agoRefresh patches
Stéphane Glondu [Sun, 12 Oct 2025 10:01:45 +0000 (12:01 +0200)]
Refresh patches

9 months agoNew upstream release
Stéphane Glondu [Sun, 12 Oct 2025 10:02:09 +0000 (12:02 +0200)]
New upstream release

9 months agoUpdate upstream source from tag 'upstream/5.4.0'
Stéphane Glondu [Sun, 12 Oct 2025 09:55:29 +0000 (11:55 +0200)]
Update upstream source from tag 'upstream/5.4.0'

Update to upstream version '5.4.0'
with Debian dir d20010c66d1315d28e4d766fb6e3ffbc9bc182e0

9 months agoNew upstream version 5.4.0
Stéphane Glondu [Sun, 12 Oct 2025 09:55:19 +0000 (11:55 +0200)]
New upstream version 5.4.0

9 months agoSwitch debian/watch to version 5
Stéphane Glondu [Sun, 12 Oct 2025 09:54:03 +0000 (11:54 +0200)]
Switch debian/watch to version 5

9 months agoSwitch to experimental branches
Stéphane Glondu [Sun, 12 Oct 2025 09:48:33 +0000 (11:48 +0200)]
Switch to experimental branches

9 months agoUpdate changelog
Stéphane Glondu [Sun, 12 Oct 2025 09:43:38 +0000 (11:43 +0200)]
Update changelog

9 months agoDe-number patches
Stéphane Glondu [Sun, 12 Oct 2025 09:40:08 +0000 (11:40 +0200)]
De-number patches

9 months agoDo not number patches
Stéphane Glondu [Sun, 12 Oct 2025 09:39:36 +0000 (11:39 +0200)]
Do not number patches

13 months agoMerge version 5.3.0-2+rpi1 and 5.3.0-3 to produce 5.3.0-3+rpi1 trixie-staging archive/raspbian/5.3.0-3+rpi1 raspbian/5.3.0-3+rpi1
Raspbian automatic forward porter [Sat, 21 Jun 2025 00:00:16 +0000 (01:00 +0100)]
Merge version 5.3.0-2+rpi1 and 5.3.0-3 to produce 5.3.0-3+rpi1

13 months agoBuild --without-zstd
Stéphane Glondu [Tue, 17 Jun 2025 12:26:18 +0000 (14:26 +0200)]
Build --without-zstd

Rationale: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107586#66

13 months agoPrepare upload to unstable
Stéphane Glondu [Thu, 12 Jun 2025 12:08:35 +0000 (14:08 +0200)]
Prepare upload to unstable

13 months agoMake fast forward from 5.3.0-2
Stéphane Glondu [Thu, 12 Jun 2025 12:08:28 +0000 (14:08 +0200)]
Make fast forward from 5.3.0-2

[dgit --quilt=gbp]

13 months agoMark tests that actually require multicore
Stéphane Glondu [Wed, 26 Mar 2025 07:39:51 +0000 (08:39 +0100)]
Mark tests that actually require multicore

Bug-Debian: https://bugs.debian.org/1101353
Forwarded: https://github.com/ocaml/ocaml/pull/13906

Gbp-Pq: Name 0008-Mark-tests-that-actually-require-multicore.patch

13 months agoEnable native backend and dynlink on hurd-amd64
Samuel Thibault [Wed, 15 Jan 2025 07:23:51 +0000 (08:23 +0100)]
Enable native backend and dynlink on hurd-amd64

Bug-Debian: https://bugs.debian.org/1086600
Bug-Debian: https://bugs.debian.org/1094334
Forwarded: https://github.com/ocaml/ocaml/pull/13587

Gbp-Pq: Name 0007-Enable-native-backend-and-dynlink-on-hurd-amd64.patch

13 months 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

13 months 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

13 months 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: <2021-12-21>

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

13 months 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 0003-Do-not-error-on-warnings-in-autoconf.patch

13 months 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 0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

13 months 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 0001-Put-manpages-in-section-3o-instead-of-3.patch

13 months agoUpdate changelog
Stéphane Glondu [Tue, 10 Jun 2025 05:44:27 +0000 (07:44 +0200)]
Update changelog

13 months agoDo not run flaky test (Closes: #1103008)
Stéphane Glondu [Tue, 10 Jun 2025 05:42:26 +0000 (07:42 +0200)]
Do not run flaky test (Closes: #1103008)

15 months agoAdd references to #1101353 and upstream PR
Stéphane Glondu [Wed, 26 Mar 2025 12:57:25 +0000 (13:57 +0100)]
Add references to #1101353 and upstream PR

15 months agoUpdate changelog
Stéphane Glondu [Wed, 26 Mar 2025 09:22:29 +0000 (10:22 +0100)]
Update changelog

15 months agoMark tests that actually require multicore
Stéphane Glondu [Wed, 26 Mar 2025 09:22:14 +0000 (10:22 +0100)]
Mark tests that actually require multicore

17 months agoMerge version 5.2.0-3+rpi1 and 5.3.0-2 to produce 5.3.0-2+rpi1 archive/raspbian/5.3.0-2+rpi1 raspbian/5.3.0-2+rpi1
Raspbian automatic forward porter [Mon, 10 Feb 2025 01:24:41 +0000 (01:24 +0000)]
Merge version 5.2.0-3+rpi1 and 5.3.0-2 to produce 5.3.0-2+rpi1

17 months agoUpdate changelog and prepare upload to unstable
Stéphane Glondu [Mon, 27 Jan 2025 12:17:49 +0000 (13:17 +0100)]
Update changelog and prepare upload to unstable

17 months agoMake fast forward from 5.3.0-1
Stéphane Glondu [Mon, 27 Jan 2025 12:17:46 +0000 (13:17 +0100)]
Make fast forward from 5.3.0-1

[dgit --quilt=gbp]

17 months agoEnable native backend and dynlink on hurd-amd64
Samuel Thibault [Wed, 15 Jan 2025 07:23:51 +0000 (08:23 +0100)]
Enable native backend and dynlink on hurd-amd64

Bug-Debian: https://bugs.debian.org/1086600
Bug-Debian: https://bugs.debian.org/1094334
Forwarded: https://github.com/ocaml/ocaml/pull/13587

Gbp-Pq: Name 0007-Enable-native-backend-and-dynlink-on-hurd-amd64.patch

17 months 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

17 months 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

17 months 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: <2021-12-21>

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

17 months 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 0003-Do-not-error-on-warnings-in-autoconf.patch

17 months 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 0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

17 months 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 0001-Put-manpages-in-section-3o-instead-of-3.patch

17 months agoEnable natdynlink on hurd-amd64 (Closes: #1094334)
Stéphane Glondu [Mon, 27 Jan 2025 12:17:27 +0000 (13:17 +0100)]
Enable natdynlink on hurd-amd64 (Closes: #1094334)