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
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 [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: <2021-12-21>
Gbp-Pq: Name 0004-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.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 0003-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 0002-Trigger-output-complete-exe-on-custom-with-an-enviro.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 0001-Put-manpages-in-section-3o-instead-of-3.patch
Stéphane Glondu [Sun, 26 Jan 2025 16:01:14 +0000 (17:01 +0100)]
Prepare upload to unstable
Stéphane Glondu [Sun, 26 Jan 2025 15:59:36 +0000 (16:59 +0100)]
Revert "Switch to experimental branches"
This reverts commit
781fef570c265028d4a32d7b98fe0d8891e38a87.
Stéphane Glondu [Wed, 15 Jan 2025 09:38:43 +0000 (10:38 +0100)]
Prepare upload to experimental
Stéphane Glondu [Wed, 15 Jan 2025 07:40:48 +0000 (08:40 +0100)]
Update changelog
Stéphane Glondu [Wed, 15 Jan 2025 07:28:25 +0000 (08:28 +0100)]
Renumber patches
Stéphane Glondu [Wed, 15 Jan 2025 07:26:08 +0000 (08:26 +0100)]
Enable native backend on hurd-amd64 (Closes: #
1086600)
Stéphane Glondu [Wed, 15 Jan 2025 07:21:39 +0000 (08:21 +0100)]
Run tests with OCAML_TEST_SIZE=1
Stéphane Glondu [Tue, 14 Jan 2025 07:02:47 +0000 (08:02 +0100)]
Prepare upload to experimental
Stéphane Glondu [Sat, 11 Jan 2025 12:22:59 +0000 (13:22 +0100)]
Refresh patches
Stéphane Glondu [Sat, 11 Jan 2025 12:05:06 +0000 (13:05 +0100)]
New upstream release
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
Stéphane Glondu [Sat, 11 Jan 2025 12:04:50 +0000 (13:04 +0100)]
New upstream version 5.3.0
Stéphane Glondu [Sat, 11 Jan 2025 12:04:32 +0000 (13:04 +0100)]
New upstream version 5.2.1
Stéphane Glondu [Sat, 11 Jan 2025 12:03:14 +0000 (13:03 +0100)]
Switch to experimental branches
Stéphane Glondu [Thu, 29 Aug 2024 16:03:58 +0000 (18:03 +0200)]
Prepare upload to unstable
Stéphane Glondu [Thu, 29 Aug 2024 14:05:05 +0000 (16:05 +0200)]
Update changelog
Stéphane Glondu [Thu, 29 Aug 2024 14:00:41 +0000 (16:00 +0200)]
Import upstream patch to fix coq-elpi ppc64el failure
Stéphane Glondu [Fri, 9 Aug 2024 04:55:14 +0000 (06:55 +0200)]
Add ocaml-base to Build-Conflicts
Stéphane Glondu [Wed, 7 Aug 2024 12:12:27 +0000 (14:12 +0200)]
Prepare upload to unstable
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.
Stéphane Glondu [Sat, 3 Aug 2024 00:27:03 +0000 (02:27 +0200)]
Update changelog
Stéphane Glondu [Sat, 3 Aug 2024 00:25:24 +0000 (02:25 +0200)]
Change OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi>
Stéphane Glondu [Tue, 6 Aug 2024 01:15:48 +0000 (03:15 +0200)]
Add bytes and bigarray compatibility packages
Stéphane Glondu [Sat, 3 Aug 2024 00:13:47 +0000 (02:13 +0200)]
Use OCAML_STDLIB_DIR more often
Stéphane Glondu [Tue, 2 Jul 2024 02:59:07 +0000 (04:59 +0200)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Tue, 2 Jul 2024 02:58:00 +0000 (04:58 +0200)]
Bump version of findlib in Breaks/Replaces (Closes: #
1074589)
Stéphane Glondu [Mon, 1 Jul 2024 12:37:24 +0000 (14:37 +0200)]
Prepare upload to experimental
Stéphane Glondu [Mon, 1 Jul 2024 12:35:59 +0000 (14:35 +0200)]
Update changelog
Stéphane Glondu [Mon, 1 Jul 2024 07:51:43 +0000 (09:51 +0200)]
Update armel patch
Stéphane Glondu [Sun, 30 Jun 2024 06:29:31 +0000 (08:29 +0200)]
Update m68k patch
Stéphane Glondu [Fri, 21 Jun 2024 13:35:15 +0000 (15:35 +0200)]
Update changelog
Stéphane Glondu [Fri, 28 Jun 2024 08:44:48 +0000 (10:44 +0200)]
Add Forwarded DEP3 tag to patch
Stéphane Glondu [Fri, 28 Jun 2024 06:49:32 +0000 (08:49 +0200)]
Detect if atomic 64-bit load from RO memory works
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.
Stéphane Glondu [Fri, 21 Jun 2024 13:27:54 +0000 (15:27 +0200)]
Revert "Make runtime_events optional"
This reverts commit
d848f2f6379179e6fa8ebfdc5a6c69474ad44223.
Stéphane Glondu [Fri, 21 Jun 2024 11:24:16 +0000 (13:24 +0200)]
Update changelog
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)
Stéphane Glondu [Thu, 13 Jun 2024 06:42:32 +0000 (08:42 +0200)]
Restore upstream configure script
Stéphane Glondu [Thu, 20 Jun 2024 02:32:01 +0000 (04:32 +0200)]
Prepare upload to experimental
Stéphane Glondu [Wed, 19 Jun 2024 13:31:53 +0000 (15:31 +0200)]
Update changelog
Stéphane Glondu [Thu, 20 Jun 2024 01:01:17 +0000 (03:01 +0200)]
Disable runtime_events lib on armel
Stéphane Glondu [Thu, 20 Jun 2024 01:00:37 +0000 (03:00 +0200)]
Make runtime_events optional
Stéphane Glondu [Thu, 20 Jun 2024 00:37:06 +0000 (02:37 +0200)]
Fix FTBFS on m68k
Stéphane Glondu [Wed, 19 Jun 2024 13:05:21 +0000 (15:05 +0200)]
Add reference to #
1073289
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.
Stéphane Glondu [Sat, 15 Jun 2024 06:18:32 +0000 (08:18 +0200)]
A bug was reported about missing Breaks/Replaces
Stéphane Glondu [Thu, 13 Jun 2024 08:32:25 +0000 (10:32 +0200)]
Update changelog
Stéphane Glondu [Thu, 13 Jun 2024 12:43:37 +0000 (14:43 +0200)]
libstdlib-ocaml Breaks/Replaces libfindlib-ocaml (because of META files)
Stéphane Glondu [Thu, 13 Jun 2024 08:32:03 +0000 (10:32 +0200)]
ocaml Depends on libzstd-dev
Stéphane Glondu [Thu, 13 Jun 2024 08:52:27 +0000 (10:52 +0200)]
Remove ppc64 from native architectures
Stéphane Glondu [Thu, 13 Jun 2024 06:42:32 +0000 (08:42 +0200)]
Restore upstream configure script
Stéphane Glondu [Thu, 13 Jun 2024 06:39:23 +0000 (08:39 +0200)]
Prepare upload to experimental
Stéphane Glondu [Wed, 12 Jun 2024 10:51:53 +0000 (12:51 +0200)]
Update packaging
Stéphane Glondu [Wed, 12 Jun 2024 08:01:42 +0000 (10:01 +0200)]
Fix tests
Stéphane Glondu [Wed, 12 Jun 2024 07:58:22 +0000 (09:58 +0200)]
Update debian/dispatch.ml
Stéphane Glondu [Wed, 12 Jun 2024 06:44:29 +0000 (08:44 +0200)]
Remove obsolete debian/control.in and associated rule
Stéphane Glondu [Wed, 12 Jun 2024 06:35:44 +0000 (08:35 +0200)]
Update native architectures (drop 32-bit ones)
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
Stéphane Glondu [Wed, 12 Jun 2024 06:23:23 +0000 (08:23 +0200)]
New upstream release
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
Stéphane Glondu [Wed, 12 Jun 2024 06:22:19 +0000 (08:22 +0200)]
New upstream version 5.2.0
Stéphane Glondu [Thu, 12 Oct 2023 12:34:53 +0000 (14:34 +0200)]
Create ocaml-5-specific experimental branches
Stéphane Glondu [Wed, 20 Sep 2023 07:59:26 +0000 (09:59 +0200)]
Prepare upload to unstable
Stéphane Glondu [Wed, 20 Sep 2023 07:59:08 +0000 (09:59 +0200)]
Revert "Switch to experimental branches"
This reverts commit
404605bf3f442705074e811b807386aef0f8159e.
Stéphane Glondu [Mon, 18 Sep 2023 11:41:40 +0000 (13:41 +0200)]
Prepare upload to experimental
Stéphane Glondu [Mon, 18 Sep 2023 11:40:16 +0000 (13:40 +0200)]
Update packaging
Stéphane Glondu [Mon, 18 Sep 2023 11:38:34 +0000 (13:38 +0200)]
Refresh patches
Stéphane Glondu [Mon, 18 Sep 2023 11:36:29 +0000 (13:36 +0200)]
New upstream release
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
Stéphane Glondu [Mon, 18 Sep 2023 11:36:04 +0000 (13:36 +0200)]
New upstream version 4.14.1
Stéphane Glondu [Mon, 18 Sep 2023 11:35:46 +0000 (13:35 +0200)]
New upstream version 4.14.0
Stéphane Glondu [Mon, 18 Sep 2023 11:29:33 +0000 (13:29 +0200)]
Switch to experimental branches
Stéphane Glondu [Fri, 25 Aug 2023 18:19:10 +0000 (20:19 +0200)]
Prepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 09:47:00 +0000 (11:47 +0200)]
Update changelog
Stéphane Glondu [Fri, 25 Aug 2023 09:10:11 +0000 (11:10 +0200)]
Fix source build after successful build (Closes: #
1049230)
Stéphane Glondu [Fri, 25 Aug 2023 09:08:24 +0000 (11:08 +0200)]
Remove empty override_dh_dwz
Stéphane Glondu [Fri, 25 Aug 2023 09:07:57 +0000 (11:07 +0200)]
Ignore test failures on hurd
Stéphane Glondu [Fri, 25 Aug 2023 06:23:52 +0000 (08:23 +0200)]
Prepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 06:22:45 +0000 (08:22 +0200)]
Revert "Switch to experimental branches"
This reverts commit
7e68eff183fb772a2c59b3c71992c9f2911ba9a5.
Stéphane Glondu [Wed, 23 Aug 2023 14:20:50 +0000 (16:20 +0200)]
Update changelog
Stéphane Glondu [Wed, 23 Aug 2023 13:59:21 +0000 (15:59 +0200)]
Add (empty) METAS directory in stdlib dir
Findlib is configured to look into this directory, and without it,
utop complains during completion in the `#require` directive.
Stéphane Glondu [Sun, 20 Aug 2023 09:09:06 +0000 (11:09 +0200)]
Rewrite read_lines and use List.filter_map
Stéphane Glondu [Sun, 20 Aug 2023 08:59:52 +0000 (10:59 +0200)]
Use option instead of exception in chop_prefix
Stéphane Glondu [Sun, 20 Aug 2023 08:44:10 +0000 (10:44 +0200)]
Use String.{starts,ends}_with
Stéphane Glondu [Sun, 20 Aug 2023 07:23:00 +0000 (09:23 +0200)]
libstdlib-ocaml breaks dh-ocaml (<< 2)
This is to enforce that dh-ocaml is upgraded to >= 2. Prior versions
would not add the dependency to versioned ocaml{,-base} virtual
packages with the new ocaml packaging.
Stéphane Glondu [Sat, 19 Aug 2023 03:17:37 +0000 (05:17 +0200)]
Update changelog and prepare upload to experimental
Stéphane Glondu [Sat, 19 Aug 2023 01:16:21 +0000 (03:16 +0200)]
Reorganize binary packages
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches
Stéphane Glondu [Fri, 18 Aug 2023 15:46:33 +0000 (17:46 +0200)]
Update changelog
Stéphane Glondu [Fri, 18 Aug 2023 15:50:52 +0000 (17:50 +0200)]
Update lintian overrides
Stéphane Glondu [Fri, 18 Aug 2023 15:45:59 +0000 (17:45 +0200)]
Bump Standards-Version to 4.6.2
Stéphane Glondu [Fri, 18 Aug 2023 14:17:14 +0000 (16:17 +0200)]
Compute an actual ABI for ocaml-compiler-libs
Stéphane Glondu [Sun, 12 Feb 2023 10:47:19 +0000 (11:47 +0100)]
Prepare upload to unstable