luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI: Avoid man page builds (#6402)

This commit is contained in:
Wilson Snyder 2025-09-07 13:32:34 -04:00 committed by GitHub
parent 4d671dc5d7
commit f67534069c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/reusable-rtlmeter-build.yml vendored
View File

@ -31,6 +31,9 @@ jobs:
steps: steps:
- name: Install dependencies - name: Install dependencies
run: | run: |
echo "path-exclude /usr/share/doc/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
echo "path-exclude /usr/share/man/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
echo "path-exclude /usr/share/info/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
sudo apt update sudo apt update
sudo apt install ccache mold help2man libfl-dev libgoogle-perftools-dev libsystemc-dev sudo apt install ccache mold help2man libfl-dev libgoogle-perftools-dev libsystemc-dev

3
.github/workflows/reusable-rtlmeter-run.yml vendored
View File

@ -55,6 +55,9 @@ jobs:
steps: steps:
- name: Install dependencies - name: Install dependencies
run: | run: |
echo "path-exclude /usr/share/doc/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
echo "path-exclude /usr/share/man/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
echo "path-exclude /usr/share/info/*" | sudo tee -a /etc/dpkg/dpkg.cfg.d/01_nodoc
sudo apt update sudo apt update
sudo apt install ccache mold libfl-dev libgoogle-perftools-dev libsystemc-dev sudo apt install ccache mold libfl-dev libgoogle-perftools-dev libsystemc-dev