[From nobody Tue Apr 21 14:09:12 2026
Received: (at submit) by bugs.debian.org; 6 Aug 2025 09:12:51 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
 (2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-3.9 required=4.0 tests=BAYES_00, FOURLA,
 SPF_HELO_NONE, SPF_PASS autolearn=no autolearn_force=no
 version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 44; hammy, 144; neutral, 42; spammy,
 2. spammytokens:0.956-+--receiving, 0.937-+--view
 hammytokens:0.000-+--IIRC, 0.000-+--sk:enable_, 0.000-+--UD:github.com,
 0.000-+--githubcom, 0.000-+--github.com
Return-path: <dxld@darkboxed.org>
Received: from mail.servers.dxld.at ([2001:678:4d8::1a57]:35906)
 by buxtehude.debian.org with esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <dxld@darkboxed.org>) id 1ujaCY-004hvi-0S
 for submit@bugs.debian.org; Wed, 06 Aug 2025 09:12:51 +0000
Received: mail.servers.dxld.at;
	Wed, 06 Aug 2025 11:12:44 +0200
From: dxld@darkboxed.org
Date: Wed, 6 Aug 2025 11:12:42 +0200
To: submit@bugs.debian.org
Subject: Docs build change in yosys 0.56: ENABLE_HELP_SOURCE
Message-ID: <20250806091242.4wzscpzwnlx7dufg@House.clients.dxld.at>
References: <YosysHQ/yosys/pull/5255@github.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <YosysHQ/yosys/pull/5255@github.com>
Delivered-To: submit@bugs.debian.org

Source: yosys

@DanielG FYI for building docs with Yosys >= v`0.56` since IIRC you're building Debian release with docs included.  This PR (re-)introduces changes to how the command reference is formatted (currently live on the [latest docs](https://yosyshq.readthedocs.io/projects/yosys/en/latest/cmd/index_passes.html)).  From the readme: 

> It is recommended to use the `ENABLE_HELP_SOURCE` make option for Yosys builds that will be used to build the documentation.  This option enables source location tracking for passes and improves the command reference through grouping related commands and allowing for the documentation to link to the corresponding source files.

The fallback behaviour without this make option set is that none of the passes will have the "Help text automatically generated from ..." note, and that *most* of them will end up in the "unknown" group (rendered on `cmd/index_other`).  Command groups with no associated passes (currently `cmd/index_passes_{hierarchy,techmap,sat}`) will display a warning like this:
<img width="768" height="181" alt="image" src="https://github.com/user-attachments/assets/1208fe9e-2455-4f64-8ed7-c1e64040fd2d" />
It should still be usable, but may be confusing.

Note that the `ENABLE_HELP_SOURCE` option does still require a compiler with `source_location` support, but it tries both `<source_location>` and `<experimental/source_location>` so a reasonably modern gcc/clang should work fine.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/YosysHQ/yosys/pull/5255#issuecomment-3157387088
You are receiving this because you were mentioned.

Message ID: <YosysHQ/yosys/pull/5255/c3157387088@github.com>
]