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

  • Updating menhir

    From julien.puydt@gmail.com@21:1/5 to All on Thu Mar 17 17:30:01 2022
    Hi,

    I updated menhir on salsa to the last upstream -- and in the process,
    it got a +ds suffix because I kicked the prebuilt documentation out.

    I didn't upload it because the reverse deps situation wasn't perfect:

    - liquidsoap has an unsatisfied libogg-ocaml-dev dep) -- unrelated
    breakage ;

    - why3 is broken (looks for non-existing graph.cmo at some point) --
    unrelated breakage ;

    - alt-ergo and ocaml-atd are broken with the following message:
    Error: the code back-end requires the type of every nonterminal symbol
    to be
    known. Please specify the type of every symbol via %type declarations,
    or
    enable type inference (look up --infer in the manual).
    Type inference is automatically enabled when Menhir is used via Dune,
    provided the dune-project file says (using menhir 2.0) or later.
    The types of the following nonterminal symbols are unknown:
    <long list>

    And for those two, the problem only appears with the new menhir
    package, so there's something to be done.

    I'm looking into it but wanted to let people know where things stood.

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?St=c3=a9phane_Glondu?=@21:1/5 to All on Fri Mar 18 08:30:01 2022
    Le 17/03/2022 à 17:20, julien.puydt@gmail.com a écrit :
    I updated menhir on salsa to the last upstream -- and in the process,
    it got a +ds suffix because I kicked the prebuilt documentation out
    menhir is a package I explicitly excluded from my package update frenzy, because the latest version is not installed in opam-debian-switch [1].
    The version installed in this switch (20211128) is more recent than the
    one in Debian (20210929), but is behind the latest version (20220210).

    [1] https://salsa.debian.org/ocaml-team/opam-debian-switch/

    menhir is not alone in this case : there is (at least) ocaml-dune, ocaml-cohttp, cmdliner and camlpdf.

    The latest versions of these packages are uninstallable (together with
    all packages available in Debian), probably because of
    reverse-dependencies, as you've spotted with menhir. These
    reverse-dependencies will have to be fixed. opam-debian-switch can be
    useful to analyze the situation.

    However, my plan was to start with cmdliner since the next version of
    belenios depends on the new version.


    Cheers,

    --
    Stéphane

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Ralf Treinen@21:1/5 to julien.puydt@gmail.com on Fri Mar 18 08:40:01 2022
    Hi,

    On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.puydt@gmail.com wrote:

    - why3 is broken (looks for non-existing graph.cmo at some point) -- unrelated breakage ;

    there is a patch for that in the upstream git, which unfortunately
    was not included in the recent 1.4.1 upstream release. My remaining
    propblem is fighting against dh_ocaml failing on exported ocaml units
    that are also exported by other packages.

    -Ralf.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Ralf Treinen@21:1/5 to julien.puydt@gmail.com on Fri Mar 18 08:50:01 2022
    On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.puydt@gmail.com wrote:

    I didn't upload it because the reverse deps situation wasn't perfect:

    Can you upload to experimental, please ? -Ralf.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Fri Mar 18 10:50:02 2022
    Hi,

    Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :
    On Thu, Mar 17, 2022 at 05:20:58PM +0100,
    julien.puydt@gmail.com wrote:

    I didn't upload it because the reverse deps situation wasn't
    perfect:

    Can you upload to experimental, please ? -Ralf.

    I never think about experimental... I'll check a few things about the
    package then proceed.

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Fri Mar 18 10:40:01 2022
    Hi,

    Le vendredi 18 mars 2022 à 08:21 +0100, Stéphane Glondu a écrit :
    Le 17/03/2022 à 17:20, julien.puydt@gmail.com a écrit :
    I updated menhir on salsa to the last upstream -- and in the
    process,
    it got a +ds suffix because I kicked the prebuilt documentation out
    menhir is a package I explicitly excluded from my package update
    frenzy,
    because the latest version is not installed in opam-debian-switch
    [1].
    The version installed in this switch (20211128) is more recent than
    the
    one in Debian (20210929), but is behind the latest version
    (20220210).

    [1] https://salsa.debian.org/ocaml-team/opam-debian-switch/


    Nice ; I also have created a page to compare Debian's coq packaging
    with the "Coq Platform" one:

    https://people.debian.org/~jpuydt/coq_platform.html
    (notice: the page itself is a work-in-progress)

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Thu Apr 7 11:40:01 2022
    Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :
    On Thu, Mar 17, 2022 at 05:20:58PM +0100,
    julien.puydt@gmail.com wrote:

    I didn't upload it because the reverse deps situation wasn't
    perfect:

    Can you upload to experimental, please ? -Ralf.


    I found I needed the new menhir for the new elpi, so I came back to the
    matter.

    Two packages were still broken by the in-experimental menhir: alt-ergo
    and ocaml-atd.

    For ocaml-atd, I could just update the package.

    For alt-ergo, things are more difficult: there is a patch for the newer upstream, but with new deps that we don't have (psmt2-frontend, which
    in turn has deps of its own), so it will take a little time.

    Cheers,

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From julien.puydt@gmail.com@21:1/5 to All on Wed Apr 20 11:50:01 2022
    Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :
    On Thu, Mar 17, 2022 at 05:20:58PM +0100,
    julien.puydt@gmail.com wrote:

    I didn't upload it because the reverse deps situation wasn't
    perfect:

    Can you upload to experimental, please ? -Ralf.


    As far as I know the only package blocking updating menhir in unstable
    is alt-ergo.

    I worked on it, but for some reason, my debian/alt-ergo.install doesn't
    trigger the installations it should so dh_missing is killing the build.
     
    I'll need to figure out what goes wrong, but still pushed the changes
    as keeping in thin air too many changes too long isn't good.

    Cheers,

    J.Puydt

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