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


Last updated: Oct 16 2021 at 02:03 UTC