From: Leo Famulari <leo@famulari.name>
To: Mathieu Othacehe <othacehe@gnu.org>
Cc: me@bonfacemunyoki.com, me@tobias.gr, lars@6xq.net,
efraim@flashner.co.il, vagrant@debian.org, jgart@dismail.de,
marius@gnu.org, 68023@debbugs.gnu.org
Subject: [bug#68023] [PATCH 00/13] Add support for Linux `make dtbs_check`
Date: Thu, 28 Dec 2023 14:04:45 -0500 [thread overview]
Message-ID: <ZY3GzVGiNRpFdLOW@jasmine.lan> (raw)
In-Reply-To: <cover.1703494195.git.othacehe@gnu.org>
On Mon, Dec 25, 2023 at 10:06:06AM +0100, Mathieu Othacehe wrote:
> Hello,
>
> This adds support for `make dtbs_check` in a Linux checkout from within a
> `guix shell -D linux-libre` environment.
>
> This allows to check device trees against the JSON schema that is made up from
> the Linux dt-bindings documentation.
>
> This requires an update of python-jsonschema, which in turn requires
> python-attrs > 22.2.0. On master, we only have python-attrs == 21.2.0. That
> means that patches 0008 to 0013 are targeting the python-team branch.
Overall, I think that if it's working for you, great. Especially since
Efraim approved the Rust stuff.
However, I prefer not to make the kernel depend on python. I know that
basically any system will include python but still I prefer to avoid the
direct dependency.
The goal of this patch series is to improve a development workflow,
right?
How about doing `guix shell python-dtschema -D linux-libre`? Will that
work?
next prev parent reply other threads:[~2023-12-28 19:05 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-25 9:06 [bug#68023] [PATCH 00/13] Add support for Linux `make dtbs_check` Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 01/13] gnu: dtc: Update to 1.7.0 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 02/13] gnu: python-trove-classifiers: Update to 2023.11.29 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 03/13] gnu: Add rust-unsize-1 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 04/13] gnu: Add rust-triomphe-0.1 Mathieu Othacehe
2023-12-28 7:54 ` Efraim Flashner
2023-12-25 9:09 ` [bug#68023] [PATCH 05/13] gnu: Add rust-compiletest-rs-0.10 Mathieu Othacehe
2023-12-28 7:54 ` Efraim Flashner
2023-12-25 9:09 ` [bug#68023] [PATCH 06/13] gnu: Add rust-archery-1 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 07/13] gnu: Add rust-rpds-1 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 08/13] gnu: Add python-rpds-py Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 09/13] gnu: Add python-referencing Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 10/13] gnu: Add python-jsonschema-specifications Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 11/13] gnu: python-jsonschema: Update to 4.17.3 Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 12/13] gnu: Add python-dtschema Mathieu Othacehe
2023-12-25 9:09 ` [bug#68023] [PATCH 13/13] gnu: linux-libre: " Mathieu Othacehe
2023-12-28 7:54 ` [bug#68023] [PATCH 00/13] Add support for Linux `make dtbs_check` Efraim Flashner
2023-12-28 9:14 ` Mathieu Othacehe
2023-12-28 19:04 ` Leo Famulari [this message]
2023-12-28 20:00 ` Mathieu Othacehe
2023-12-29 20:04 ` Leo Famulari
2024-01-09 8:06 ` Mathieu Othacehe
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ZY3GzVGiNRpFdLOW@jasmine.lan \
--to=leo@famulari.name \
--cc=68023@debbugs.gnu.org \
--cc=efraim@flashner.co.il \
--cc=jgart@dismail.de \
--cc=lars@6xq.net \
--cc=marius@gnu.org \
--cc=me@bonfacemunyoki.com \
--cc=me@tobias.gr \
--cc=othacehe@gnu.org \
--cc=vagrant@debian.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).