Re: Coq packages in Debian : difficult transitions

[julien.puydt@gmail.com]

Hi,

Le lundi 01 août 2022 à 14:20 +0200, Joachim Breitner a écrit :
> 
> Am Sonntag, dem 31.07.2022 um 12:33 +0200 schrieb
> julien.puydt@gmail.com:
> > I have a little script that tells me the following packages needs
> > to be
> > rebuilt when a transition has to be done ; for example:
> > 
> > $ ./planif_transition.py mathcomp-finmap
> > mathcomp-finmap
> > mathcomp-analysis mathcomp-multinomials
> > coqeal
> > 
> > (the lines are meaningful: same line means parallel build is
> > possible)
> > 
> > So far, so good. But managing transitions is pretty annoying:
> > 
> > (1) The checksums are arch-dependent, which is annoying to write
> > ben
> > transition scripts. I just need to trigger builds in the right
> > order.
> > How do I tackle it?
> > 
> > (2) The other C-style lib* packages don't need maintainers to write
> > transitions: the automatic ones just work. How can I have libcoq-*
> > packages work like this?
> > 
> 
> it looks like you re-created the setup that the Haskell and Ocaml
> packages use, with the provides/depends and hashes.
> 

Yes, dh-ocaml has been a great inspiration. I didn't know any Perl
before...

> We have a tool that produces a file with the necessary commands to
> pass to wanna-build, see for example in 
> https://people.debian.org/~iliastsi/binNMUs-haskell.txt
> 
> I used to produce a file like this for Ocaml, but it’s gone since I
> disabled my account. It’s configured via a simple regex,
> libghc-(.*)-dev-([0-9.]+)-([0-9a-f]{5})
> in the case of Ocaml.
> 
> The source code is at 
> https://salsa.debian.org/haskell-team/tools/-/tree/master/binnmus
> 
> It may be useful to you too

Yes ; as I mentioned I have a tool that prints the steps to follow to
rebuild, so I might be able to make it evolve to produce wanna-build
scripts.

Cheers,

J.Puydt