all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* Ideas for ocaml-team
@ 2023-06-16  4:32 pukkamustard
  2023-06-20  6:46 ` DABY-SEESARAM Arnaud
  2023-08-23  8:56 ` Simon Tournier
  0 siblings, 2 replies; 8+ messages in thread
From: pukkamustard @ 2023-06-16  4:32 UTC (permalink / raw)
  To: guix-devel; +Cc: Julien Lepiller


Hello Guix,

I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
to collect some bigger updates and changes to the OCaml packages in
Guix.

Some things that I can think of:

* Update OCaml from 4.14.0 to 4.14.1

* Update OPAM from 2.1.3 to 2.1.5
  - Requires a major update of ocaml-dose3 from 5.0.1 to 7.0.0

* Update Dune from 3.6.1 to 3.8.1

* Update Jane Street packages from 0.15.0 to 0.16.0

* Remove most ocaml4.07-* and ocaml4.09 packages
  - We only want to keep the compiler around for bootstrapping purposes.
  - Update unison 2.51.2 to 2.53.3: This makes it buildable with OCaml
    4.14 or even 5.0.  (see
    https://lists.gnu.org/archive/html/guix-devel/2023-02/msg00253.html).

* Split packages from (gnu packages ocaml) into multiple modules. Maybe
  in following modules:

  - (gnu packages ocaml): For the compiler and core dev packages (opam,
    dune, merlin)
  - (gnu packages ocaml-boot): For the 4.07 and 4.09 compilers
  - (gnu packages ocaml-xyz): Everything else

Thoughts? Any other things? How do we get started with such a branch? 

Cheers,
pukkamustard


^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-06-16  4:32 Ideas for ocaml-team pukkamustard
@ 2023-06-20  6:46 ` DABY-SEESARAM Arnaud
  2023-06-20 14:31   ` Josselin Poiret
  2023-06-21 19:37   ` pukkamustard
  2023-08-23  8:56 ` Simon Tournier
  1 sibling, 2 replies; 8+ messages in thread
From: DABY-SEESARAM Arnaud @ 2023-06-20  6:46 UTC (permalink / raw)
  To: pukkamustard; +Cc: guix-devel, Julien Lepiller

[-- Attachment #1: Type: text/plain, Size: 1608 bytes --]

Hi,

Do you plan on including coq.scm in the upgrade plan, as it also depends 
on dune? If so, would coq-packages also be upgraded, or should that be 
done after the ocaml-team branch has been merged with master?

Anyway, I am new to Guix, but will try to help if I can (time- and 
competence-wise) ! :)

-- 
ds-ac

Le Fri, Jun 16, 2023 at 04:32:48AM +0000, pukkamustard a écrit
> 
> Hello Guix,
> 
> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
> to collect some bigger updates and changes to the OCaml packages in
> Guix.
> 
> Some things that I can think of:
> 
> * Update OCaml from 4.14.0 to 4.14.1
> 
> * Update OPAM from 2.1.3 to 2.1.5
>   - Requires a major update of ocaml-dose3 from 5.0.1 to 7.0.0
> 
> * Update Dune from 3.6.1 to 3.8.1
> 
> * Update Jane Street packages from 0.15.0 to 0.16.0
> 
> * Remove most ocaml4.07-* and ocaml4.09 packages
>   - We only want to keep the compiler around for bootstrapping purposes.
>   - Update unison 2.51.2 to 2.53.3: This makes it buildable with OCaml
>     4.14 or even 5.0.  (see
>     https://lists.gnu.org/archive/html/guix-devel/2023-02/msg00253.html).
> 
> * Split packages from (gnu packages ocaml) into multiple modules. Maybe
>   in following modules:
> 
>   - (gnu packages ocaml): For the compiler and core dev packages (opam,
>     dune, merlin)
>   - (gnu packages ocaml-boot): For the 4.07 and 4.09 compilers
>   - (gnu packages ocaml-xyz): Everything else
> 
> Thoughts? Any other things? How do we get started with such a branch? 
> 
> Cheers,
> pukkamustard
> 

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-06-20  6:46 ` DABY-SEESARAM Arnaud
@ 2023-06-20 14:31   ` Josselin Poiret
  2023-06-21 19:37   ` pukkamustard
  1 sibling, 0 replies; 8+ messages in thread
From: Josselin Poiret @ 2023-06-20 14:31 UTC (permalink / raw)
  To: DABY-SEESARAM Arnaud, pukkamustard; +Cc: guix-devel, Julien Lepiller

[-- Attachment #1: Type: text/plain, Size: 535 bytes --]

Hi everyone,

DABY-SEESARAM Arnaud <ds-ac@nanein.fr> writes:

> Do you plan on including coq.scm in the upgrade plan, as it also depends 
> on dune? If so, would coq-packages also be upgraded, or should that be 
> done after the ocaml-team branch has been merged with master?
>
> Anyway, I am new to Guix, but will try to help if I can (time- and 
> competence-wise) ! :)

I can also give a hand regarding Coq and libraries, since I have a
vested interest in having everything up-to-date :)

Best,
-- 
Josselin Poiret

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 682 bytes --]

^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-06-20  6:46 ` DABY-SEESARAM Arnaud
  2023-06-20 14:31   ` Josselin Poiret
@ 2023-06-21 19:37   ` pukkamustard
  2023-06-23 11:48     ` DABY-SEESARAM Arnaud
  1 sibling, 1 reply; 8+ messages in thread
From: pukkamustard @ 2023-06-21 19:37 UTC (permalink / raw)
  To: DABY-SEESARAM Arnaud; +Cc: guix-devel, Julien Lepiller


DABY-SEESARAM Arnaud <ds-ac@nanein.fr> writes:

> [[PGP Signed Part:Undecided]]
> Hi,
>
> Do you plan on including coq.scm in the upgrade plan, as it also depends 
> on dune?

I hadn't thought of the Coq packages, but probably makes sense to update
them together as they will be rebuilt with updates to the OCaml compiler
and Dune.

Do you have an overview of what Coq packages need an update?

> Anyway, I am new to Guix, but will try to help if I can (time- and 
> competence-wise) ! :)

Yeah, very nice! :) 

-pukkamustard


^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-06-21 19:37   ` pukkamustard
@ 2023-06-23 11:48     ` DABY-SEESARAM Arnaud
  0 siblings, 0 replies; 8+ messages in thread
From: DABY-SEESARAM Arnaud @ 2023-06-23 11:48 UTC (permalink / raw)
  To: pukkamustard; +Cc: guix-devel, Julien Lepiller

[-- Attachment #1: Type: text/plain, Size: 1061 bytes --]

> I hadn't thought of the Coq packages, but probably makes sense to 
> update them together as they will be rebuilt with updates to the OCaml 
> compiler and Dune.
Yes.

> Do you have an overview of what Coq packages need an update?
No, I don't. But there are only a few Coq packages, so I wouldn't mind 
checking every upstream repository.  That said, Coq itself can be 
upgraded.

-- 
ds-ac

Le Wed, Jun 21, 2023 at 07:37:00PM +0000, pukkamustard a écrit
> 
> DABY-SEESARAM Arnaud <ds-ac@nanein.fr> writes:
> 
> > [[PGP Signed Part:Undecided]]
> > Hi,
> >
> > Do you plan on including coq.scm in the upgrade plan, as it also depends 
> > on dune?
> 
> I hadn't thought of the Coq packages, but probably makes sense to update
> them together as they will be rebuilt with updates to the OCaml compiler
> and Dune.
> 
> Do you have an overview of what Coq packages need an update?
> 
> > Anyway, I am new to Guix, but will try to help if I can (time- and 
> > competence-wise) ! :)
> 
> Yeah, very nice! :) 
> 
> -pukkamustard

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-06-16  4:32 Ideas for ocaml-team pukkamustard
  2023-06-20  6:46 ` DABY-SEESARAM Arnaud
@ 2023-08-23  8:56 ` Simon Tournier
  2023-09-12  6:57   ` pukkamustard
  1 sibling, 1 reply; 8+ messages in thread
From: Simon Tournier @ 2023-08-23  8:56 UTC (permalink / raw)
  To: pukkamustard, guix-devel; +Cc: Julien Lepiller

Hi,

I am very late to the party.

On Fri, 16 Jun 2023 at 04:32, pukkamustard <pukkamustard@posteo.net> wrote:

> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
> to collect some bigger updates and changes to the OCaml packages in
> Guix.

I think that’s a great idea. :-)  Any progress on this?


> * Remove most ocaml4.07-* and ocaml4.09 packages
>   - We only want to keep the compiler around for bootstrapping purposes.

Currently camlboot is used by ocaml-4.07-boot used by ocaml-4.07.  But
then version 4.09 and later and not bootstrapped; well they use the
upstream bootstrap (which is boot/ocamlc and friends IIRC).

Well, independently of this upgrade plan, the OCaml bootstrap could be
the chain 4.07 -> 4.09 -> … and I do not know if 4.09 would be enough
for 4.14.  And if 4.14 would also be enough for 5.

That’s said, aside this bootstrapping consideration, I am in favor to
remove 4.07 and 4.09 OCaml packages.


> * Split packages from (gnu packages ocaml) into multiple modules. Maybe
>   in following modules:
>
>   - (gnu packages ocaml): For the compiler and core dev packages (opam,
>     dune, merlin)
>   - (gnu packages ocaml-boot): For the 4.07 and 4.09 compilers
>   - (gnu packages ocaml-xyz): Everything else

This split makes sense to me.


Do we create the branch ocaml-team for doing this plan?


Cheers,
simon


^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-08-23  8:56 ` Simon Tournier
@ 2023-09-12  6:57   ` pukkamustard
  2023-09-12 10:03     ` Julien Lepiller
  0 siblings, 1 reply; 8+ messages in thread
From: pukkamustard @ 2023-09-12  6:57 UTC (permalink / raw)
  To: Simon Tournier; +Cc: guix-devel, Julien Lepiller


Salut!

Simon Tournier <zimon.toutoune@gmail.com> writes:

>> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
>> to collect some bigger updates and changes to the OCaml packages in
>> Guix.
>
> I think that’s a great idea. :-)  Any progress on this?
>

There is #64249 (https://issues.guix.gnu.org/64249) to which I just
submitted a v6.

>> * Remove most ocaml4.07-* and ocaml4.09 packages
>>   - We only want to keep the compiler around for bootstrapping purposes.
>
> Currently camlboot is used by ocaml-4.07-boot used by ocaml-4.07.  But
> then version 4.09 and later and not bootstrapped; well they use the
> upstream bootstrap (which is boot/ocamlc and friends IIRC).
>
> Well, independently of this upgrade plan, the OCaml bootstrap could be
> the chain 4.07 -> 4.09 -> … and I do not know if 4.09 would be enough
> for 4.14.  And if 4.14 would also be enough for 5.

I don't know either and I don't think I will have time to look into this
soonish.

I think placing the 4.07 and 4.09 compiler in (gnu packages ocaml-boot),
even if unused, seems reasonable. We should add some nice
comments/breadcrumbs for whoever looks into completing the chain in the
future.

> That’s said, aside this bootstrapping consideration, I am in favor to
> remove 4.07 and 4.09 OCaml packages.

Ack

> Do we create the branch ocaml-team for doing this plan?

Just asked a similar question in the cover for the v6 to
#64249. Basically I don't know how fast I/we will be able to look into
the other items in this list. Maybe it makes sense to just merge in to
master instead of having a too long-lived ocaml-team branch? Or set a
pre-defined time-to-live for the branch? What's the current modus
operandi for other teams?

Cheers,
pukkamustard


^ permalink raw reply	[flat|nested] 8+ messages in thread

* Re: Ideas for ocaml-team
  2023-09-12  6:57   ` pukkamustard
@ 2023-09-12 10:03     ` Julien Lepiller
  0 siblings, 0 replies; 8+ messages in thread
From: Julien Lepiller @ 2023-09-12 10:03 UTC (permalink / raw)
  To: pukkamustard, Simon Tournier; +Cc: guix-devel

I don't think it makes sense to have a separate brarch when we have so few contributions, and so few impacted packages

Le 12 septembre 2023 08:57:56 GMT+02:00, pukkamustard <pukkamustard@posteo.net> a écrit :
>
>Salut!
>
>Simon Tournier <zimon.toutoune@gmail.com> writes:
>
>>> I think it's time to start an `ocaml-team` (or `ocaml-updates`) branch
>>> to collect some bigger updates and changes to the OCaml packages in
>>> Guix.
>>
>> I think that’s a great idea. :-)  Any progress on this?
>>
>
>There is #64249 (https://issues.guix.gnu.org/64249) to which I just
>submitted a v6.
>
>>> * Remove most ocaml4.07-* and ocaml4.09 packages
>>>   - We only want to keep the compiler around for bootstrapping purposes.
>>
>> Currently camlboot is used by ocaml-4.07-boot used by ocaml-4.07.  But
>> then version 4.09 and later and not bootstrapped; well they use the
>> upstream bootstrap (which is boot/ocamlc and friends IIRC).
>>
>> Well, independently of this upgrade plan, the OCaml bootstrap could be
>> the chain 4.07 -> 4.09 -> … and I do not know if 4.09 would be enough
>> for 4.14.  And if 4.14 would also be enough for 5.
>
>I don't know either and I don't think I will have time to look into this
>soonish.
>
>I think placing the 4.07 and 4.09 compiler in (gnu packages ocaml-boot),
>even if unused, seems reasonable. We should add some nice
>comments/breadcrumbs for whoever looks into completing the chain in the
>future.
>
>> That’s said, aside this bootstrapping consideration, I am in favor to
>> remove 4.07 and 4.09 OCaml packages.
>
>Ack
>
>> Do we create the branch ocaml-team for doing this plan?
>
>Just asked a similar question in the cover for the v6 to
>#64249. Basically I don't know how fast I/we will be able to look into
>the other items in this list. Maybe it makes sense to just merge in to
>master instead of having a too long-lived ocaml-team branch? Or set a
>pre-defined time-to-live for the branch? What's the current modus
>operandi for other teams?
>
>Cheers,
>pukkamustard


^ permalink raw reply	[flat|nested] 8+ messages in thread

end of thread, other threads:[~2023-09-12 10:31 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-06-16  4:32 Ideas for ocaml-team pukkamustard
2023-06-20  6:46 ` DABY-SEESARAM Arnaud
2023-06-20 14:31   ` Josselin Poiret
2023-06-21 19:37   ` pukkamustard
2023-06-23 11:48     ` DABY-SEESARAM Arnaud
2023-08-23  8:56 ` Simon Tournier
2023-09-12  6:57   ` pukkamustard
2023-09-12 10:03     ` Julien Lepiller

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.