Updating menhir

[julien...@gmail.com]

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

[Stéphane Glondu]

Le 17/03/2022 à 17:20, julien...@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

[Ralf Treinen]

Hi,

On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien...@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.

[Ralf Treinen]

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

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

Can you upload to experimental, please ? -Ralf.

[julien...@gmail.com]

Hi,

Le vendredi 18 mars 2022 à 08:21 +0100, Stéphane Glondu a écrit :
> Le 17/03/2022 à 17:20, julien...@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

[julien...@gmail.com]

Hi,

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

Cheers,

J.Puydt

[julien...@gmail.com]

Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :

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

[julien...@gmail.com]

Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :

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