Skip to content

Native installation for Ubuntu 22.04 #753

Description

@chreekat

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions