search

p4lang / p4c

P4_16 reference compiler
https://p4.org/
Apache License 2.0
645 stars 431 forks source link

How are the pre-compiled p4c packages for Ubuntu and Debian updated? #4738

Open jafingerhut opened 3 weeks ago

jafingerhut commented 3 weeks ago

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.

fruffy commented 3 weeks ago

@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