Stream: Coq devs & plugin devs

Topic: Snap packages

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

Emilio Jesús Gallego Arias (Jul 06 2020 at 11:12):

• Problems with relocation: I'll have a look to changes in OPAM and see what the status is these days
• Coq Issues: to be opened
• Include VsCoq? That would be great, how do you compose snaps? Can you depend on other snaps à la docker?

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

Enrico Tassi (Jul 06 2020 at 12:04):

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

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?

Enrico Tassi (Mar 16 2022 at 06:43):

The platform one.

Last updated: Jun 09 2023 at 07:01 UTC