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

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 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 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 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.

18 months agoA bug was reported about missing Breaks/Replaces
Stéphane Glondu [Sat, 15 Jun 2024 06:18:32 +0000 (08:18 +0200)]
A bug was reported about missing Breaks/Replaces

18 months agoUpdate changelog
Stéphane Glondu [Thu, 13 Jun 2024 08:32:25 +0000 (10:32 +0200)]
Update changelog

18 months agolibstdlib-ocaml Breaks/Replaces libfindlib-ocaml (because of META files)
Stéphane Glondu [Thu, 13 Jun 2024 12:43:37 +0000 (14:43 +0200)]
libstdlib-ocaml Breaks/Replaces libfindlib-ocaml (because of META files)

18 months agoocaml Depends on libzstd-dev
Stéphane Glondu [Thu, 13 Jun 2024 08:32:03 +0000 (10:32 +0200)]
ocaml Depends on libzstd-dev

18 months agoRemove ppc64 from native architectures
Stéphane Glondu [Thu, 13 Jun 2024 08:52:27 +0000 (10:52 +0200)]
Remove ppc64 from native architectures

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

18 months agoPrepare upload to experimental
Stéphane Glondu [Thu, 13 Jun 2024 06:39:23 +0000 (08:39 +0200)]
Prepare upload to experimental

18 months agoUpdate packaging
Stéphane Glondu [Wed, 12 Jun 2024 10:51:53 +0000 (12:51 +0200)]
Update packaging

18 months agoFix tests
Stéphane Glondu [Wed, 12 Jun 2024 08:01:42 +0000 (10:01 +0200)]
Fix tests

18 months agoUpdate debian/dispatch.ml
Stéphane Glondu [Wed, 12 Jun 2024 07:58:22 +0000 (09:58 +0200)]
Update debian/dispatch.ml

18 months agoRemove obsolete debian/control.in and associated rule
Stéphane Glondu [Wed, 12 Jun 2024 06:44:29 +0000 (08:44 +0200)]
Remove obsolete debian/control.in and associated rule

18 months agoUpdate native architectures (drop 32-bit ones)
Stéphane Glondu [Wed, 12 Jun 2024 06:35:44 +0000 (08:35 +0200)]
Update native architectures (drop 32-bit ones)

18 months agoRefresh patches
Stéphane Glondu [Wed, 12 Jun 2024 06:34:09 +0000 (08:34 +0200)]
Refresh patches

- remove rpath patch, which is no longer adequate
- add a patch to fix a call to test in configure.ac

18 months agoNew upstream release
Stéphane Glondu [Wed, 12 Jun 2024 06:23:23 +0000 (08:23 +0200)]
New upstream release

18 months agoUpdate upstream source from tag 'upstream/5.2.0'
Stéphane Glondu [Wed, 12 Jun 2024 06:22:30 +0000 (08:22 +0200)]
Update upstream source from tag 'upstream/5.2.0'

Update to upstream version '5.2.0'
with Debian dir 0d4d30a2fc2415084d5ae32dfb6563415fa28722

18 months agoNew upstream version 5.2.0
Stéphane Glondu [Wed, 12 Jun 2024 06:22:19 +0000 (08:22 +0200)]
New upstream version 5.2.0

2 years agoCreate ocaml-5-specific experimental branches
Stéphane Glondu [Thu, 12 Oct 2023 12:34:53 +0000 (14:34 +0200)]
Create ocaml-5-specific experimental branches

2 years agoMerge version 4.13.1-6+rpi1 and 4.14.1-1 to produce 4.14.1-1+rpi1 archive/raspbian/4.14.1-1+rpi1 raspbian/4.14.1-1+rpi1
Raspbian automatic forward porter [Thu, 28 Sep 2023 16:36:57 +0000 (17:36 +0100)]
Merge version 4.13.1-6+rpi1 and 4.14.1-1 to produce 4.14.1-1+rpi1

2 years agoMerge ocaml (4.13.1-6+rpi1) import into refs/heads/workingbranch
Raspbian forward porter [Wed, 20 Sep 2023 15:06:07 +0000 (16:06 +0100)]
Merge ocaml (4.13.1-6+rpi1) import into refs/heads/workingbranch

2 years agoRemove gitattributes that cause problems for dgit.
Peter Michael Green [Wed, 20 Sep 2023 15:06:07 +0000 (16:06 +0100)]
Remove gitattributes that cause problems for dgit.

Gbp-Pq: Name remove-gitattributes-that-cause-problems.patch

2 years agoEdit configure.ac to select armv6 when using "arm-linux-gnueabihf"
Peter Michael Green [Wed, 20 Sep 2023 15:06:07 +0000 (16:06 +0100)]
Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"

Gbp-Pq: Name use-armv6-for-raspbian.patch

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years agoDon't use rpath
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

2 years agoocaml (4.13.1-6+rpi1) trixie-staging; urgency=medium
Raspbian forward porter [Wed, 20 Sep 2023 15:06:07 +0000 (16:06 +0100)]
ocaml (4.13.1-6+rpi1) trixie-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.13.1-6+rpi1]

2 years agoImport ocaml_4.13.1-6+rpi1.debian.tar.xz
Raspbian forward porter [Wed, 20 Sep 2023 15:06:07 +0000 (16:06 +0100)]
Import ocaml_4.13.1-6+rpi1.debian.tar.xz

[dgit import tarball ocaml 4.13.1-6+rpi1 ocaml_4.13.1-6+rpi1.debian.tar.xz]

2 years agoPrepare upload to unstable
Stéphane Glondu [Wed, 20 Sep 2023 07:59:26 +0000 (09:59 +0200)]
Prepare upload to unstable

2 years agoMake fast forward from 4.13.1-6
Stéphane Glondu [Wed, 20 Sep 2023 07:59:40 +0000 (09:59 +0200)]
Make fast forward from 4.13.1-6

[dgit --quilt=gbp]

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years agoDon't use rpath
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

2 years agoRevert "Switch to experimental branches"
Stéphane Glondu [Wed, 20 Sep 2023 07:59:08 +0000 (09:59 +0200)]
Revert "Switch to experimental branches"

This reverts commit 404605bf3f442705074e811b807386aef0f8159e.

2 years agoPrepare upload to experimental
Stéphane Glondu [Mon, 18 Sep 2023 11:41:40 +0000 (13:41 +0200)]
Prepare upload to experimental

2 years agoUpdate packaging
Stéphane Glondu [Mon, 18 Sep 2023 11:40:16 +0000 (13:40 +0200)]
Update packaging

2 years agoRefresh patches
Stéphane Glondu [Mon, 18 Sep 2023 11:38:34 +0000 (13:38 +0200)]
Refresh patches

2 years agoNew upstream release
Stéphane Glondu [Mon, 18 Sep 2023 11:36:29 +0000 (13:36 +0200)]
New upstream release

2 years agoUpdate upstream source from tag 'upstream/4.14.1'
Stéphane Glondu [Mon, 18 Sep 2023 11:36:14 +0000 (13:36 +0200)]
Update upstream source from tag 'upstream/4.14.1'

Update to upstream version '4.14.1'
with Debian dir 546b7ecb081ff63df8215e0c9f66aac49af5813f

2 years agoNew upstream version 4.14.1
Stéphane Glondu [Mon, 18 Sep 2023 11:36:04 +0000 (13:36 +0200)]
New upstream version 4.14.1

2 years agoNew upstream version 4.14.0
Stéphane Glondu [Mon, 18 Sep 2023 11:35:46 +0000 (13:35 +0200)]
New upstream version 4.14.0