The-OpenROAD-Project / The-OpenROAD-Project/OpenROAD
Man-page generation is highly non-hermetic
Open
@vvbandeira is already working on this.
Since Jul 30, 2026.
- Dominant language
- Verilog
- Stars
- 3.1k
- Forks
- 1k
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 136
Description
The bazel-target //docs:man_pages is highly non-hermetic
- it invokes
make, which is not a standard binary - it assumes
pandoc,nroff`` andsphinx-build` to be available, also non-standard binaries. - Why is it using
makein the first place, if there is bazel ?
So this will not work in any hermetic environment that disallows bazel to use the $PATH or any remote execution environment at all.
This should be fixed to
- not use
make, just regular bazel functionality - Depend on the necessary binaries via BCR ( https://registry.bazel.build/modules/sphinxdocs, others might need to be upstreamed first, such as
pandoc).
Initially I recommend to mark it tags = ["local", "manual"] to not disrupt the buildability.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.