Re: Coq packages in Debian : difficult transitions
Hi,
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.
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
Cheers,
Joachim
--
Joachim “nomeata” Breitner • nomeata@debian.org • https://j.oach.im/
Reply to: