diff --git a/docs/source/getting_started/installation.rst b/docs/source/getting_started/installation.rst index d664d17effa..14eefe2ac0f 100644 --- a/docs/source/getting_started/installation.rst +++ b/docs/source/getting_started/installation.rst @@ -110,26 +110,33 @@ Installing all prerequisites for macOS 11 (with Homebrew): Running the build system ^^^^^^^^^^^^^^^^^^^^^^^^ -To configure the build system to use a specific compiler, use one of the -following: - -.. code:: console - - make config-clang - make config-gcc - -Then, simply run ``make`` in this directory. +From the root `yosys` directory, call the following commands: .. code:: console make sudo make install -Note that this also downloads, builds, and installs `ABC`_ (using +This will build and then install Yosys, making it available on the command line +as `yosys`. Note that this also downloads, builds, and installs `ABC`_ (using :program:`yosys-abc` as the executable name). .. _ABC: https://github.com/berkeley-abc/abc +The default compiler is ``clang``, to change between ``clang`` and ``gcc``, use +one of the following: + +.. code:: console + + make config-clang + make config-gcc + +To use a compiler different than the default, use: + +.. code:: console + + make CXX="g++-11" + .. seealso:: Refer to :doc:`/test_suites` for details on testing Yosys once compiled.