1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Re: Next OCaml transition: 4.14.x

    From =?UTF-8?Q?St=C3=A9phane_Glondu?=@21:1/5 to what I on Mon Sep 18 10:40:02 2023
    This is a multi-part message in MIME format.
    Le 18/09/2023 à 10:04, Julien Puydt a écrit :
    I agree with that plan ; can you list which packages get broken in each
    case?

    I've attached the lists of (OPAM) packages that cannot be installed with
    each version of OCaml. It turns out the numbers don't exactly match with
    what I said in my first mail (but they are close).

    Notice that as far as I know Coq isn't broken by the new OCaml but has performance issues with it - the Coq and OCaml upstreams are trying to
    fix this, so I expect new versions of both will get out when that will
    be fixed.

    Note that my opam-debian-switch workflow ignores most of Coq packages
    (except coq itself), since you take care of them with your own workflow.


    Cheers,

    --
    Stéphane

    MGluc3RhbGwKMGluc3RhbGwtc29sdmVyCmxpcXVpZHNvYXAKb2J1cwo= MGluc3RhbGwKMGluc3RhbGwtc29sdmVyCmNhbWxiejIKY2FtbGltYWdlcwpjYW1sbWl4CmNh bWxwNApjb2NjaW5lbGxlCmRvdC1tZXJsaW4tcmVhZGVyCmVsaW9tCmV4cGVjdApmYWNpbGUK Z2V0dGV4dApnc2wKaGF4ZQpqYnVpbGRlcgpsZGFwCmxpcXVpZHNvYXAKbWFnaWMKbWVybGlu Cm5wcm9jCm9hc2lzCm9idWlsZApvYnVzCm9jYW1sLWh0dHAKb2NhbWwtbWlncmF0ZS1wYXJz ZXRyZWUKb2NhbWxkYXAKb2NhbWxkc29ydApvY2FtbGlmeQpvY2FtbG1vZApvY2FtbG5ldApv Y2FtbHJzcwpvY2FtbHNkbApvcnBpZQpwZ29jYW1sCnBweF90b29scwpweHAKcm9wZQp0eXBl X2NvbnYKdWxleAp1c2IK

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From [email protected]@21:1/5 to All on Mon Sep 18 13:40:02 2023
    Le lundi 18 septembre 2023 à 10:32 +0200, Stéphane Glondu a écrit :
    Le 18/09/2023 à 10:04, Julien Puydt a écrit :
    I agree with that plan ; can you list which packages get broken in
    each
    case?

    I've attached the lists of (OPAM) packages that cannot be installed
    with
    each version of OCaml. It turns out the numbers don't exactly match
    with
    what I said in my first mail (but they are close).

    Notice that as far as I know Coq isn't broken by the new OCaml but
    has
    performance issues with it - the Coq and OCaml upstreams are trying
    to
    fix this, so I expect new versions of both will get out when that
    will
    be fixed.

    Note that my opam-debian-switch workflow ignores most of Coq packages
    (except coq itself), since you take care of them with your own
    workflow.

    Hmmm... I take care of them but some do depend on OCaml more directly
    because they have an OCaml lib used in a Coq lib (aac-tactics comes to
    mind, but I'm sure there are others), and I would rather have those
    checked for breakage early rather than late.

    My workflow is mostly manual using the tools from dh-coq (not shipped
    in the binary package, by the way), so it's not foolproof -- I'm right
    there in the middle!

    For Coq packages there's a transition to coq 8.18 and a transition to ssreflect/mathcomp 2.0 coming... I won't have to work on it before a
    few weeks though.

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Kyle Robbertze@21:1/5 to All on Wed Sep 20 17:50:01 2023
    On 2023/09/18 09:32, Stéphane Glondu wrote:
    Le 18/09/2023 à 10:04, Julien Puydt a écrit :
    I agree with that plan ; can you list which packages get broken in
    each case?

    I've attached the lists of (OPAM) packages that cannot be installed with
    each version of OCaml. It turns out the numbers don't exactly match with
    what I said in my first mail (but they are close).

    The new version of liquidsoap uses dune as it's build system and looks
    to support at least OCaml 4.14. However, I have been unable to get it to
    build. I'll try post the error once the ocaml rebuild has finished, as
    it currently makes building impossible due to deps not yet being available.

    Cheers
    Kyle
    --

    ⢀⣴⠾⠻⢶⣦⠀
    ⣾⠁⢠⠒⠀⣿⡁ Kyle Robbertze
    ⢿⡄⠘⠷⠚⠋⠀ Debian Developer
    ⠈⠳⣄⠀⠀⠀⠀ https://wiki.debian.org/KyleRobbertze

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)