From 0fc805202c90e0313e6f345b3511c63266817f24 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Tue, 21 Sep 2021 18:15:56 -0400 Subject: [PATCH] Commentary (#3139) --- docs/guide/files.rst | 2 +- docs/guide/install.rst | 12 ++++++------ 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/docs/guide/files.rst b/docs/guide/files.rst index 692f3e937..8395e4aac 100644 --- a/docs/guide/files.rst +++ b/docs/guide/files.rst @@ -74,7 +74,7 @@ For --cc/--sc, it creates: - DPI import and export declarations (from --dpi) * - *{prefix}*\ __Dpi.cpp - Global DPI export wrappers (from --dpi) - * - *{prefix}*\ __Dpi_Export\ *{__n}\ .cpp + * - *{prefix}*\ __Dpi_Export\ *{__n}*\ .cpp - DPI export wrappers scoped to this particular model (from --dpi) * - *{prefix}*\ __Inlines.h - Inline support functions diff --git a/docs/guide/install.rst b/docs/guide/install.rst index 5b95f23e4..7b13ae677 100644 --- a/docs/guide/install.rst +++ b/docs/guide/install.rst @@ -51,15 +51,15 @@ In brief, to install from git: unsetenv VERILATOR_ROOT # For csh; ignore error if on bash unset VERILATOR_ROOT # For bash cd verilator - git pull # Make sure git repository is up-to-date - git tag # See what versions exist + git pull # Make sure git repository is up-to-date + git tag # See what versions exist #git checkout master # Use development branch (e.g. recent bug fixes) #git checkout stable # Use most recent stable release #git checkout v{version} # Switch to specified release version - autoconf # Create ./configure script - ./configure # Configure and create Makefile - make -j # Build Verilator itself + autoconf # Create ./configure script + ./configure # Configure and create Makefile + make -j `nproc` # Build Verilator itself (if error, try just 'make') sudo make install @@ -287,7 +287,7 @@ Compile Verilator: :: - make -j + make -j `nproc` # Or if error on `nproc`, the number of CPUs in system Test