Skip to content

Latest commit

 

History

History
49 lines (37 loc) · 1.34 KB

README.md

File metadata and controls

49 lines (37 loc) · 1.34 KB
Raw

p4fmt (P4 Formatter)

p4fmt is a WIP formatter for P4. It's in a highly experimental phase and, not yet stable/reliable for general use. Contributions and feedbacks from the community would be highly appreciated.

Build

  • Setup P4C correctly, from here.

  • Follow the instructions here to build.

Later p4fmt executable can be found inside the p4c/build/ dir, and can be invoked as ./build/p4fmt from p4c's root dir.

Usage

  • Takes an output file with a -o flag and writes to it.

    ./build/p4fmt <p4 source file> -o <output_file>

  • If an output file is not provided with -o flag, it just prints the output on the stdout.

    ./build/p4fmt <p4 source file>

Sample Usage:

./build/p4fmtsample.p4
./build/p4fmt sample.p4 -o out.p4

Reference Checker for P4Fmt

Sample Usage: ./build/checkfmt --file <p4 source file> --reference-file <p4 reference file>