On 22.04 / x86_64, the following commands should get p4c installed:
echo 'deb http://download.opensuse.org/repositories/home:/p4lang:/latest/xUbuntu_22.04/ /' | sudo tee /etc/apt/sources.list.d/home:p4lang:latest.list
curl -fsSL https://download.opensuse.org/repositories/home:p4lang:latest/xUbuntu_22.04/Release.key | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/home_p4lang_latest.gpg > /dev/null
sudo apt update
sudo apt install p4lang-p4c
-- https://software.opensuse.org/download.html?project=home%3Ap4lang%3Alatest&package=p4lang-p4c
This is based on chreekat/p4lang-packages#2 . (I intend to move into that project into the p4lang organization.)
The instructions above pull from a new OBS project, home:p4lang:latest. It is a staging ground where I published new debs based on the latest tagged releases of pi, bmv2, and p4c. The fate of this new project is undecided.
All of this is preliminary. I just wanted to get the information out about the new packages. @jafingerhut if you have a chance to try it out and identify any problems or gaps, that would be great.
On 22.04 / x86_64, the following commands should get p4c installed:
-- https://software.opensuse.org/download.html?project=home%3Ap4lang%3Alatest&package=p4lang-p4c
This is based on chreekat/p4lang-packages#2 . (I intend to move into that project into the p4lang organization.)
The instructions above pull from a new OBS project, home:p4lang:latest. It is a staging ground where I published new debs based on the latest tagged releases of pi, bmv2, and p4c. The fate of this new project is undecided.
All of this is preliminary. I just wanted to get the information out about the new packages. @jafingerhut if you have a chance to try it out and identify any problems or gaps, that would be great.