Stream: Coq devs & plugin devs

Topic: Snap packages


view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 11:11):

@Enrico Tassi did build some snap packages https://github.com/gares/coq-opam-snap here , it would be cool to see if we can integrate them into the CI

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 11:12):

view this post on Zulip Enrico Tassi (Jul 06 2020 at 11:59):

back then SNAP had some decent doc. Yes, a snap can depend on another snap (or just include it). It was part of the doc. What is useful is to "stage" (as in docker) so that your rebuilds are quick: https://snapcraft.io/docs/adding-parts

view this post on Zulip Enrico Tassi (Jul 06 2020 at 12:04):

I think "stage-snaps" is the one you can use for pulling in the code snap

view this post on Zulip Jason Gross (Mar 16 2022 at 01:54):

It looks like the snap packages don't install all the binaries, as per https://github.com/coq/coq/issues/15809#issuecomment-1068650433. Do the snap packages have a dedicated bug tracker?

view this post on Zulip Enrico Tassi (Mar 16 2022 at 06:43):

The platform one.


Last updated: Feb 01 2023 at 15:04 UTC