ocaml.git
10 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

10 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]

10 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

10 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

10 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

10 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

10 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

10 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

10 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

10 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

10 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)

10 months agoPrepare upload to unstable
Stéphane Glondu [Sun, 26 Jan 2025 16:01:14 +0000 (17:01 +0100)]
Prepare upload to unstable

10 months agoMake fast forward from 5.2.0-3
Stéphane Glondu [Sun, 26 Jan 2025 16:00:54 +0000 (17:00 +0100)]
Make fast forward from 5.2.0-3

[dgit --quilt=gbp]

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

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

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

10 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

10 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

10 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

10 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

10 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

10 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

10 months agoRevert "Switch to experimental branches"
Stéphane Glondu [Sun, 26 Jan 2025 15:59:36 +0000 (16:59 +0100)]
Revert "Switch to experimental branches"

This reverts commit 781fef570c265028d4a32d7b98fe0d8891e38a87.

11 months agoPrepare upload to experimental
Stéphane Glondu [Wed, 15 Jan 2025 09:38:43 +0000 (10:38 +0100)]
Prepare upload to experimental

11 months agoUpdate changelog
Stéphane Glondu [Wed, 15 Jan 2025 07:40:48 +0000 (08:40 +0100)]
Update changelog

11 months agoRenumber patches
Stéphane Glondu [Wed, 15 Jan 2025 07:28:25 +0000 (08:28 +0100)]
Renumber patches

11 months agoEnable native backend on hurd-amd64 (Closes: #1086600)
Stéphane Glondu [Wed, 15 Jan 2025 07:26:08 +0000 (08:26 +0100)]
Enable native backend on hurd-amd64 (Closes: #1086600)

11 months agoRun tests with OCAML_TEST_SIZE=1
Stéphane Glondu [Wed, 15 Jan 2025 07:21:39 +0000 (08:21 +0100)]
Run tests with OCAML_TEST_SIZE=1

11 months agoPrepare upload to experimental
Stéphane Glondu [Tue, 14 Jan 2025 07:02:47 +0000 (08:02 +0100)]
Prepare upload to experimental

11 months agoRefresh patches
Stéphane Glondu [Sat, 11 Jan 2025 12:22:59 +0000 (13:22 +0100)]
Refresh patches

11 months agoNew upstream release
Stéphane Glondu [Sat, 11 Jan 2025 12:05:06 +0000 (13:05 +0100)]
New upstream release

11 months agoUpdate upstream source from tag 'upstream/5.3.0'
Stéphane Glondu [Sat, 11 Jan 2025 12:04:57 +0000 (13:04 +0100)]
Update upstream source from tag 'upstream/5.3.0'

Update to upstream version '5.3.0'
with Debian dir 43379d429d7155411cc821cd34cd134323127be1

11 months agoNew upstream version 5.3.0
Stéphane Glondu [Sat, 11 Jan 2025 12:04:50 +0000 (13:04 +0100)]
New upstream version 5.3.0

11 months agoNew upstream version 5.2.1
Stéphane Glondu [Sat, 11 Jan 2025 12:04:32 +0000 (13:04 +0100)]
New upstream version 5.2.1

11 months agoSwitch to experimental branches
Stéphane Glondu [Sat, 11 Jan 2025 12:03:14 +0000 (13:03 +0100)]
Switch to experimental branches

15 months agoMerge version 5.2.0-2+rpi1 and 5.2.0-3 to produce 5.2.0-3+rpi1 archive/raspbian/5.2.0-3+rpi1 raspbian/5.2.0-3+rpi1
Raspbian automatic forward porter [Sat, 7 Sep 2024 11:31:51 +0000 (12:31 +0100)]
Merge version 5.2.0-2+rpi1 and 5.2.0-3 to produce 5.2.0-3+rpi1

15 months agoManual merge of version 4.14.1-1+rpi1 and 5.2.0-2 to produce 5.2.0-2+rpi1 archive/raspbian/5.2.0-2+rpi1 raspbian/5.2.0-2+rpi1
Raspbian automatic forward porter [Tue, 20 Aug 2024 23:46:51 +0000 (00:46 +0100)]
Manual merge of version 4.14.1-1+rpi1 and 5.2.0-2 to produce 5.2.0-2+rpi1

15 months agoPrepare upload to unstable
Stéphane Glondu [Thu, 29 Aug 2024 16:03:58 +0000 (18:03 +0200)]
Prepare upload to unstable

15 months agoMake fast forward from 5.2.0-2
Stéphane Glondu [Thu, 29 Aug 2024 16:03:23 +0000 (18:03 +0200)]
Make fast forward from 5.2.0-2

[dgit --quilt=gbp]

15 months agoDon't use r12 to pass size to caml_call_realloc_stack
Xavier Leroy [Thu, 29 Aug 2024 10:08:16 +0000 (12:08 +0200)]
Don't use r12 to pass size to caml_call_realloc_stack

The temporary r12 can be destroyed by a PLT shim.
Instead, use r27 (a non-temporary register, not used at OCaml function entry).

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

Gbp-Pq: Name 0011-Don-t-use-r12-to-pass-size-to-caml_call_realloc_stac.patch

15 months agoAvoid atomic 64-bit load on Debian armel
Stéphane Glondu [Fri, 28 Jun 2024 05:53:21 +0000 (07:53 +0200)]
Avoid atomic 64-bit load on Debian armel

Bug: https://github.com/ocaml/ocaml/issues/13234
Forwarded: https://github.com/ocaml/ocaml/pull/13267

Gbp-Pq: Name 0010-Avoid-atomic-64-bit-load-on-Debian-armel.patch

15 months agoRework fixed register assignments on m68k.
Miod Vallat [Wed, 19 Jun 2024 13:13:03 +0000 (13:13 +0000)]
Rework fixed register assignments on m68k.

The use of %a5 conflicts with its internal usage as a GOT base by Glibc,
so shift assignments one register down.

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

Gbp-Pq: Name 0009-Rework-fixed-register-assignments-on-m68k.patch

15 months agoFix call to test in configure.ac
Stéphane Glondu [Wed, 12 Jun 2024 11:09:53 +0000 (13:09 +0200)]
Fix call to test in configure.ac

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

Gbp-Pq: Name 0008-Fix-call-to-test-in-configure.ac.patch

15 months agoFilter out -f{debug,file}-prefix-map= from ocamlc_cflags and mkexe
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

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

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

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

15 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 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

15 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 0003-Check-for-definition-of-AT_SECURE-before-using-it.patch

15 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 0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

15 months agoUpdate changelog
Stéphane Glondu [Thu, 29 Aug 2024 14:05:05 +0000 (16:05 +0200)]
Update changelog

15 months agoImport upstream patch to fix coq-elpi ppc64el failure
Stéphane Glondu [Thu, 29 Aug 2024 14:00:41 +0000 (16:00 +0200)]
Import upstream patch to fix coq-elpi ppc64el failure

16 months agoMake fast forward from 5.2.0-1
Stéphane Glondu [Fri, 9 Aug 2024 04:55:14 +0000 (06:55 +0200)]
Make fast forward from 5.2.0-1

[dgit --quilt=gbp]

16 months agoAdd ocaml-base to Build-Conflicts
Stéphane Glondu [Fri, 9 Aug 2024 04:55:14 +0000 (06:55 +0200)]
Add ocaml-base to Build-Conflicts

16 months agoAvoid atomic 64-bit load on Debian armel
Stéphane Glondu [Fri, 28 Jun 2024 05:53:21 +0000 (07:53 +0200)]
Avoid atomic 64-bit load on Debian armel

Bug: https://github.com/ocaml/ocaml/issues/13234
Forwarded: https://github.com/ocaml/ocaml/pull/13267

Gbp-Pq: Name 0010-Avoid-atomic-64-bit-load-on-Debian-armel.patch

16 months agoRework fixed register assignments on m68k.
Miod Vallat [Wed, 19 Jun 2024 13:13:03 +0000 (13:13 +0000)]
Rework fixed register assignments on m68k.

The use of %a5 conflicts with its internal usage as a GOT base by Glibc,
so shift assignments one register down.

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

Gbp-Pq: Name 0009-Rework-fixed-register-assignments-on-m68k.patch

16 months agoFix call to test in configure.ac
Stéphane Glondu [Wed, 12 Jun 2024 11:09:53 +0000 (13:09 +0200)]
Fix call to test in configure.ac

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

Gbp-Pq: Name 0008-Fix-call-to-test-in-configure.ac.patch

16 months agoFilter out -f{debug,file}-prefix-map= from ocamlc_cflags and mkexe
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

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

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

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

16 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 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

16 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 0003-Check-for-definition-of-AT_SECURE-before-using-it.patch

16 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 0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

16 months agoPrepare upload to unstable
Stéphane Glondu [Wed, 7 Aug 2024 12:12:27 +0000 (14:12 +0200)]
Prepare upload to unstable

16 months agoMake fast forward from 4.14.1-1
Stéphane Glondu [Wed, 7 Aug 2024 12:12:25 +0000 (14:12 +0200)]
Make fast forward from 4.14.1-1

[dgit --quilt=gbp]

16 months agoAvoid atomic 64-bit load on Debian armel
Stéphane Glondu [Fri, 28 Jun 2024 05:53:21 +0000 (07:53 +0200)]
Avoid atomic 64-bit load on Debian armel

Bug: https://github.com/ocaml/ocaml/issues/13234
Forwarded: https://github.com/ocaml/ocaml/pull/13267

Gbp-Pq: Name 0010-Avoid-atomic-64-bit-load-on-Debian-armel.patch

16 months agoRework fixed register assignments on m68k.
Miod Vallat [Wed, 19 Jun 2024 13:13:03 +0000 (13:13 +0000)]
Rework fixed register assignments on m68k.

The use of %a5 conflicts with its internal usage as a GOT base by Glibc,
so shift assignments one register down.

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

Gbp-Pq: Name 0009-Rework-fixed-register-assignments-on-m68k.patch

16 months agoFix call to test in configure.ac
Stéphane Glondu [Wed, 12 Jun 2024 11:09:53 +0000 (13:09 +0200)]
Fix call to test in configure.ac

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

Gbp-Pq: Name 0008-Fix-call-to-test-in-configure.ac.patch

16 months agoFilter out -f{debug,file}-prefix-map= from ocamlc_cflags and mkexe
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

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

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

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

16 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 0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch

16 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 0003-Check-for-definition-of-AT_SECURE-before-using-it.patch

16 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 0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch

16 months agoRevert "Create ocaml-5-specific experimental branches"
Stéphane Glondu [Wed, 7 Aug 2024 12:10:36 +0000 (14:10 +0200)]
Revert "Create ocaml-5-specific experimental branches"

This reverts commit 970cb8e4ef289d91cd7938a118aead2d7287e36d.

16 months agoUpdate changelog
Stéphane Glondu [Sat, 3 Aug 2024 00:27:03 +0000 (02:27 +0200)]
Update changelog

16 months agoChange OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi>
Stéphane Glondu [Sat, 3 Aug 2024 00:25:24 +0000 (02:25 +0200)]
Change OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi>

16 months agoAdd bytes and bigarray compatibility packages
Stéphane Glondu [Tue, 6 Aug 2024 01:15:48 +0000 (03:15 +0200)]
Add bytes and bigarray compatibility packages

16 months agoUse OCAML_STDLIB_DIR more often
Stéphane Glondu [Sat, 3 Aug 2024 00:13:47 +0000 (02:13 +0200)]
Use OCAML_STDLIB_DIR more often

17 months agoUpdate changelog and prepare upload to experimental
Stéphane Glondu [Tue, 2 Jul 2024 02:59:07 +0000 (04:59 +0200)]
Update changelog and prepare upload to experimental

17 months agoBump version of findlib in Breaks/Replaces (Closes: #1074589)
Stéphane Glondu [Tue, 2 Jul 2024 02:58:00 +0000 (04:58 +0200)]
Bump version of findlib in Breaks/Replaces (Closes: #1074589)

17 months agoPrepare upload to experimental
Stéphane Glondu [Mon, 1 Jul 2024 12:37:24 +0000 (14:37 +0200)]
Prepare upload to experimental

17 months agoUpdate changelog
Stéphane Glondu [Mon, 1 Jul 2024 12:35:59 +0000 (14:35 +0200)]
Update changelog

17 months agoUpdate armel patch
Stéphane Glondu [Mon, 1 Jul 2024 07:51:43 +0000 (09:51 +0200)]
Update armel patch

17 months agoUpdate m68k patch
Stéphane Glondu [Sun, 30 Jun 2024 06:29:31 +0000 (08:29 +0200)]
Update m68k patch

17 months agoUpdate changelog
Stéphane Glondu [Fri, 21 Jun 2024 13:35:15 +0000 (15:35 +0200)]
Update changelog

17 months agoAdd Forwarded DEP3 tag to patch
Stéphane Glondu [Fri, 28 Jun 2024 08:44:48 +0000 (10:44 +0200)]
Add Forwarded DEP3 tag to patch

17 months agoDetect if atomic 64-bit load from RO memory works
Stéphane Glondu [Fri, 28 Jun 2024 06:49:32 +0000 (08:49 +0200)]
Detect if atomic 64-bit load from RO memory works

17 months agoRevert "Disable runtime_events lib on armel"
Stéphane Glondu [Fri, 21 Jun 2024 13:28:04 +0000 (15:28 +0200)]
Revert "Disable runtime_events lib on armel"

This reverts commit a7e022d40c359932a76494ea38013fb604b6642c.

17 months agoRevert "Make runtime_events optional"
Stéphane Glondu [Fri, 21 Jun 2024 13:27:54 +0000 (15:27 +0200)]
Revert "Make runtime_events optional"

This reverts commit d848f2f6379179e6fa8ebfdc5a6c69474ad44223.

17 months agoUpdate changelog
Stéphane Glondu [Fri, 21 Jun 2024 11:24:16 +0000 (13:24 +0200)]
Update changelog

17 months agoAdd Breaks/Replaces for lib{stdlib,compiler-libs}-ocaml-dev as well (Closes: #1073995)
Stéphane Glondu [Fri, 21 Jun 2024 11:23:58 +0000 (13:23 +0200)]
Add Breaks/Replaces for lib{stdlib,compiler-libs}-ocaml-dev as well (Closes: #1073995)

17 months agoRestore upstream configure script
Stéphane Glondu [Thu, 13 Jun 2024 06:42:32 +0000 (08:42 +0200)]
Restore upstream configure script

17 months agoPrepare upload to experimental
Stéphane Glondu [Thu, 20 Jun 2024 02:32:01 +0000 (04:32 +0200)]
Prepare upload to experimental

17 months agoUpdate changelog
Stéphane Glondu [Wed, 19 Jun 2024 13:31:53 +0000 (15:31 +0200)]
Update changelog

17 months agoDisable runtime_events lib on armel
Stéphane Glondu [Thu, 20 Jun 2024 01:01:17 +0000 (03:01 +0200)]
Disable runtime_events lib on armel

17 months agoMake runtime_events optional
Stéphane Glondu [Thu, 20 Jun 2024 01:00:37 +0000 (03:00 +0200)]
Make runtime_events optional

17 months agoFix FTBFS on m68k
Stéphane Glondu [Thu, 20 Jun 2024 00:37:06 +0000 (02:37 +0200)]
Fix FTBFS on m68k

17 months agoAdd reference to #1073289
Stéphane Glondu [Wed, 19 Jun 2024 13:05:21 +0000 (15:05 +0200)]
Add reference to #1073289

17 months agoDo no longer call "make bootstrap"
Stéphane Glondu [Wed, 19 Jun 2024 12:57:39 +0000 (14:57 +0200)]
Do no longer call "make bootstrap"

This implied building everything twice.

Bootstrap is tested in upstream CI nowadays, and we don't make changes
in the Debian package needing bootstrap. Even if we did, the procedure
is rather complex and it is probably more reasonable to do it outside
of the Debian package build process.