p4lang
How are the pre-compiled p4c packages for Ubuntu and Debian updated?
I mean the ones that can be installed according to these instructions in p4c's README:
A P4C package is available in the following repositories for Ubuntu 20.04 and newer.
source /etc/lsb-release
echo "deb http://download.opensuse.org/repositories/home:/p4lang/xUbuntu_${DISTRIB_RELEASE}/ /" | sudo tee /etc/apt/sources.list.d/home:p4lang.list
curl -fsSL https://download.opensuse.org/repositories/home:p4lang/xUbuntu_${DISTRIB_RELEASE}/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_p4lang.gpg > /dev/null
sudo apt-get update
sudo apt install p4lang-p4c
Those instructions do work, but as far as I can tell from looking here: https://download.opensuse.org/repositories/home:/p4lang/xUbuntu_20.04/amd64/
the last time they were updated for the amd64 architecture was in 2023-Aug. This matches the commit SHA I see in the output of p4c --version when installing that pre-compiled package.
I believe that Radostin Stoyanov was doing manual steps until that time to distribute new versions. If we want to continue recommending these installation instructions (or some modified version of them), it seems like a good idea to publish new binaries something like monthly, e.g. perhaps triggered by the same event that causes a new version number of p4c to be released?
I do not know how difficult that would be to automate, though, and have no experience with the steps required to publish packages to the opensuse.org site.
@rst0git
Someone contributed a packaging folder once but I do not know how well it is maintained and how to use it to be frank: https://github.com/p4lang/p4c/tree/main/debian
