diff --git a/md__2home_2runner_2work_2p4c_2p4c_2_r_e_a_d_m_e.html b/md__2home_2runner_2work_2p4c_2p4c_2_r_e_a_d_m_e.html index d798ebb4061..9eb034ad890 100644 --- a/md__2home_2runner_2work_2p4c_2p4c_2_r_e_a_d_m_e.html +++ b/md__2home_2runner_2work_2p4c_2p4c_2_r_e_a_d_m_e.html @@ -264,7 +264,7 @@
Backends may have additional dependencies. The dependencies for the backends included with P4C
are documented here:
For documentation building:
-Tools
Tools
Theme
P4C
also depends on Google Protocol Buffers (Protobuf). P4C
requires version 3.0 or higher, so the packaged version provided in Ubuntu 20.04 should work. However, P4C typically installs its own version of Protobuf using CMake's FetchContent
module (at the moment, 3.25.3). If you are experiencing issues with the Protobuf version shipped with your OS distribution, we recommend that to install Protobuf 3.25.3 from source. You can find instructions here. After cloning Protobuf and before you build, check-out version 3.25.3:
git checkout v3.25.3
For documentation building:
-Tools
Tools
Theme
You can also look at the dependencies installation script for a fresh Fedora instance.
We recommend using clang++
with no optimizations for speeding up compilation and simplifying debugging.
We recommend installing a new version of gdb, because older gdb versions do not always handle C++11 or newer correctly.
We recommend exuberant ctags for navigating source code in Emacs and vi. sudo apt-get install exuberant-ctags.
The Makefile targets make ctags
and make etags
generate tags for vi and Emacs respectively. (Make sure that you are using the correct version of ctags; there are several competing programs with the same name in existence.)
To enable building code documentation, please run cmake .. -DENABLE_DOCS=ON
. This enables the make docs
rule to generate documentation. The HTML output is available in build/doxygen-out/html/index.html
.
To build code documentation, after installing Doxygen and the other required packages:
+ The HTML output is available in docs/doxygen/build/html/index.html
.
Occasionally formatting commits are applied to P4C. These pollute the git history. To ignore these commits in git blame, run this command