ocaml.git
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 agoPrepare upload to unstable
Stéphane Glondu [Wed, 20 Sep 2023 07:59:26 +0000 (09:59 +0200)]
Prepare upload to unstable

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

2 years agoSwitch to experimental branches
Stéphane Glondu [Mon, 18 Sep 2023 11:29:33 +0000 (13:29 +0200)]
Switch to experimental branches

2 years agoPrepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 18:19:10 +0000 (20:19 +0200)]
Prepare upload to unstable

2 years agoUpdate changelog
Stéphane Glondu [Fri, 25 Aug 2023 09:47:00 +0000 (11:47 +0200)]
Update changelog

2 years agoFix source build after successful build (Closes: #1049230)
Stéphane Glondu [Fri, 25 Aug 2023 09:10:11 +0000 (11:10 +0200)]
Fix source build after successful build (Closes: #1049230)

2 years agoRemove empty override_dh_dwz
Stéphane Glondu [Fri, 25 Aug 2023 09:08:24 +0000 (11:08 +0200)]
Remove empty override_dh_dwz

2 years agoIgnore test failures on hurd
Stéphane Glondu [Fri, 25 Aug 2023 09:07:57 +0000 (11:07 +0200)]
Ignore test failures on hurd

2 years agoPrepare upload to unstable
Stéphane Glondu [Fri, 25 Aug 2023 06:23:52 +0000 (08:23 +0200)]
Prepare upload to unstable

2 years agoRevert "Switch to experimental branches"
Stéphane Glondu [Fri, 25 Aug 2023 06:22:45 +0000 (08:22 +0200)]
Revert "Switch to experimental branches"

This reverts commit 7e68eff183fb772a2c59b3c71992c9f2911ba9a5.

2 years agoUpdate changelog
Stéphane Glondu [Wed, 23 Aug 2023 14:20:50 +0000 (16:20 +0200)]
Update changelog

2 years agoAdd (empty) METAS directory in stdlib dir
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.

2 years agoRewrite read_lines and use List.filter_map
Stéphane Glondu [Sun, 20 Aug 2023 09:09:06 +0000 (11:09 +0200)]
Rewrite read_lines and use List.filter_map

2 years agoUse option instead of exception in chop_prefix
Stéphane Glondu [Sun, 20 Aug 2023 08:59:52 +0000 (10:59 +0200)]
Use option instead of exception in chop_prefix

2 years agoUse String.{starts,ends}_with
Stéphane Glondu [Sun, 20 Aug 2023 08:44:10 +0000 (10:44 +0200)]
Use String.{starts,ends}_with

2 years agolibstdlib-ocaml breaks dh-ocaml (<< 2)
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.

2 years agoUpdate changelog and prepare upload to experimental
Stéphane Glondu [Sat, 19 Aug 2023 03:17:37 +0000 (05:17 +0200)]
Update changelog and prepare upload to experimental

2 years agoReorganize binary packages
Stéphane Glondu [Sat, 19 Aug 2023 01:16:21 +0000 (03:16 +0200)]
Reorganize binary packages

2 years agoSwitch to experimental branches
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches

2 years agoUpdate changelog
Stéphane Glondu [Fri, 18 Aug 2023 15:46:33 +0000 (17:46 +0200)]
Update changelog

2 years agoUpdate lintian overrides
Stéphane Glondu [Fri, 18 Aug 2023 15:50:52 +0000 (17:50 +0200)]
Update lintian overrides

2 years agoBump Standards-Version to 4.6.2
Stéphane Glondu [Fri, 18 Aug 2023 15:45:59 +0000 (17:45 +0200)]
Bump Standards-Version to 4.6.2

2 years agoCompute an actual ABI for ocaml-compiler-libs
Stéphane Glondu [Fri, 18 Aug 2023 14:17:14 +0000 (16:17 +0200)]
Compute an actual ABI for ocaml-compiler-libs

2 years agoPrepare upload to unstable
Stéphane Glondu [Sun, 12 Feb 2023 10:47:19 +0000 (11:47 +0100)]
Prepare upload to unstable

2 years agoUpdate packaging
Stéphane Glondu [Sun, 12 Feb 2023 10:44:21 +0000 (11:44 +0100)]
Update packaging

2 years agoUpdate changelog
Stéphane Glondu [Wed, 8 Feb 2023 08:48:17 +0000 (09:48 +0100)]
Update changelog

2 years agoAvoid build path ending up in binaries (Closes: #1030785)
Stéphane Glondu [Wed, 8 Feb 2023 08:48:04 +0000 (09:48 +0100)]
Avoid build path ending up in binaries (Closes: #1030785)

2 years agoRemove --with-x from call to configure
Stéphane Glondu [Wed, 8 Feb 2023 09:54:22 +0000 (10:54 +0100)]
Remove --with-x from call to configure

3 years agoPrepare upload to unstable
Stephane Glondu [Wed, 19 Jan 2022 10:15:02 +0000 (11:15 +0100)]
Prepare upload to unstable

3 years agoSwitch back to sid branches
Stephane Glondu [Wed, 19 Jan 2022 10:13:36 +0000 (11:13 +0100)]
Switch back to sid branches

3 years agoUpdate changelog
Stephane Glondu [Thu, 30 Dec 2021 08:34:44 +0000 (09:34 +0100)]
Update changelog

3 years agoDo no longer provide /usr/include/caml symlink
Stephane Glondu [Thu, 30 Dec 2021 08:26:50 +0000 (09:26 +0100)]
Do no longer provide /usr/include/caml symlink

3 years agoAdapt maintainer scripts to new binary package structure
Stephane Glondu [Tue, 28 Dec 2021 10:03:44 +0000 (11:03 +0100)]
Adapt maintainer scripts to new binary package structure

3 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Wed, 22 Dec 2021 07:17:18 +0000 (08:17 +0100)]
Update changelog and prepare upload to experimental

3 years agoIgnore tests failure on m68k
Stephane Glondu [Wed, 22 Dec 2021 12:53:10 +0000 (13:53 +0100)]
Ignore tests failure on m68k

3 years agoEnable fma emulation on m68k
Stephane Glondu [Wed, 22 Dec 2021 08:24:46 +0000 (09:24 +0100)]
Enable fma emulation on m68k

3 years agoMove ocaml-nox manpages to ocaml
Stephane Glondu [Wed, 22 Dec 2021 07:51:22 +0000 (08:51 +0100)]
Move ocaml-nox manpages to ocaml

3 years agoUpdate Lintian overrides
Stephane Glondu [Wed, 22 Dec 2021 07:49:51 +0000 (08:49 +0100)]
Update Lintian overrides

3 years agoRestore patch putting manpages in section 3o
Stephane Glondu [Wed, 22 Dec 2021 07:13:56 +0000 (08:13 +0100)]
Restore patch putting manpages in section 3o

3 years agoFix building of manpages on bytecode architectures
Stephane Glondu [Wed, 22 Dec 2021 07:15:13 +0000 (08:15 +0100)]
Fix building of manpages on bytecode architectures

3 years agoPut transitional packages in section oldlibs
Stephane Glondu [Wed, 22 Dec 2021 07:05:41 +0000 (08:05 +0100)]
Put transitional packages in section oldlibs

3 years agoUpdate changelog and prepare upload to experimental
Stephane Glondu [Tue, 21 Dec 2021 15:33:35 +0000 (16:33 +0100)]
Update changelog and prepare upload to experimental

3 years agoMake *-nox packages transitional
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.

3 years agoUpdate packaging
Stephane Glondu [Tue, 21 Dec 2021 13:07:35 +0000 (14:07 +0100)]
Update packaging

3 years agoRenumber patches
Stephane Glondu [Tue, 21 Dec 2021 13:06:03 +0000 (14:06 +0100)]
Renumber patches

3 years agoRefresh patches
Stephane Glondu [Tue, 21 Dec 2021 13:03:33 +0000 (14:03 +0100)]
Refresh patches

3 years agoNew upstream release
Stephane Glondu [Tue, 21 Dec 2021 12:50:45 +0000 (13:50 +0100)]
New upstream release

3 years agoUpdate upstream source from tag 'upstream/4.13.1'
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

3 years agoNew upstream version 4.13.1
Stephane Glondu [Tue, 21 Dec 2021 12:50:00 +0000 (13:50 +0100)]
New upstream version 4.13.1

3 years agoNew upstream version 4.13.0
Stephane Glondu [Tue, 21 Dec 2021 12:49:01 +0000 (13:49 +0100)]
New upstream version 4.13.0

3 years agoNew upstream version 4.12.1
Stephane Glondu [Tue, 21 Dec 2021 12:48:26 +0000 (13:48 +0100)]
New upstream version 4.12.1

3 years agoNew upstream version 4.12.0
Stephane Glondu [Tue, 21 Dec 2021 12:47:45 +0000 (13:47 +0100)]
New upstream version 4.12.0

3 years agoNew upstream version 4.11.2
Stephane Glondu [Tue, 21 Dec 2021 12:47:11 +0000 (13:47 +0100)]
New upstream version 4.11.2

3 years agoSwitch to experimental branches
Stephane Glondu [Thu, 3 Sep 2020 12:46:41 +0000 (14:46 +0200)]
Switch to experimental branches

4 years agoUpdate changelog and prepare upload to unstable
Stephane Glondu [Thu, 25 Nov 2021 14:40:10 +0000 (15:40 +0100)]
Update changelog and prepare upload to unstable

4 years agoBump Standards-Version to 4.6.0
Stephane Glondu [Thu, 25 Nov 2021 14:35:53 +0000 (15:35 +0100)]
Bump Standards-Version to 4.6.0

4 years agoUpdate debian/watch
Stephane Glondu [Thu, 25 Nov 2021 14:34:21 +0000 (15:34 +0100)]
Update debian/watch

4 years agoDo not error on warnings in autoconf (Closes: #978875)
Stephane Glondu [Thu, 25 Nov 2021 14:08:33 +0000 (15:08 +0100)]
Do not error on warnings in autoconf (Closes: #978875)

4 years agoMerge branch 'lintian-fixes' into 'debian/sid'
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

4 years agoFix day-of-week for changelog entries 3.00-4, 2.01-5, 2.01-1.
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

4 years agoSet field Upstream-Name in debian/copyright.
Debian Janitor [Wed, 16 Jun 2021 01:36:25 +0000 (01:36 +0000)]
Set field Upstream-Name in debian/copyright.

Changes-By: lintian-brush
4 years agoUse secure URI in debian/watch.
Debian Janitor [Wed, 16 Jun 2021 01:36:16 +0000 (01:36 +0000)]
Use secure URI in debian/watch.

Changes-By: lintian-brush
5 years agoMake sure ocaml pulls ocaml-nox as well. (Closes: #973039)
Stephane Glondu [Fri, 30 Oct 2020 07:38:50 +0000 (08:38 +0100)]
Make sure ocaml pulls ocaml-nox as well. (Closes: #973039)

5 years agoPrepare upload to unstable
Stephane Glondu [Mon, 12 Oct 2020 14:56:50 +0000 (16:56 +0200)]
Prepare upload to unstable

5 years agoDisable some tests that fail on Hurd
Stephane Glondu [Sat, 5 Sep 2020 08:20:14 +0000 (10:20 +0200)]
Disable some tests that fail on Hurd

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 13:31:48 +0000 (15:31 +0200)]
Prepare upload to experimental

5 years agoCall ./configure with --disable-native-compiler on bytecode
Stephane Glondu [Fri, 4 Sep 2020 13:31:05 +0000 (15:31 +0200)]
Call ./configure with --disable-native-compiler on bytecode

5 years agoPrepare upload to experimental
Stephane Glondu [Fri, 4 Sep 2020 06:33:30 +0000 (08:33 +0200)]
Prepare upload to experimental

5 years agoUpdate changelog
Stephane Glondu [Fri, 4 Sep 2020 06:32:21 +0000 (08:32 +0200)]
Update changelog

5 years agoRe-enable most of tool-debugger tests
Stephane Glondu [Fri, 4 Sep 2020 03:57:11 +0000 (05:57 +0200)]
Re-enable most of tool-debugger tests

5 years agoFix static linking of lib{bfd,iberty}
Stephane Glondu [Fri, 4 Sep 2020 04:24:26 +0000 (06:24 +0200)]
Fix static linking of lib{bfd,iberty}

5 years agoAdd riscv64 to native-archs
Stephane Glondu [Fri, 4 Sep 2020 04:01:43 +0000 (06:01 +0200)]
Add riscv64 to native-archs

5 years agoRe-enable testpreempt test for now
Stephane Glondu [Thu, 3 Sep 2020 14:24:19 +0000 (16:24 +0200)]
Re-enable testpreempt test for now

5 years agoUpdate packaging
Stephane Glondu [Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)]
Update packaging

5 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