Skip to content

dist/tools: Add Kconfiglib#12695

Merged
miri64 merged 1 commit intoRIOT-OS:masterfrom
leandrolanzieri:pr/dist/tools/add_kconfiglib
Nov 25, 2019
Merged

dist/tools: Add Kconfiglib#12695
miri64 merged 1 commit intoRIOT-OS:masterfrom
leandrolanzieri:pr/dist/tools/add_kconfiglib

Conversation

@leandrolanzieri
Copy link
Copy Markdown
Contributor

Contribution description

This PR adds Kconfiglib to our tools, as a package. Kconfiglib is a Kconfig implementation in Python 2/3.

It can run standalone, but also includes some tools already implemented (e.g. menuconfig or genconfig, which are copied from the package in this PR). This has the advantage that we can handle Kconfig files using Python scripts (such as generating Doxygen documentation for all compile-time options).

Testing procedure

You can apply this patch and run make test-tool -C examples/default. It should download the package and check that the files were copied, printing PASS if everything went as expected.

Issues/PRs references

None so far

@leandrolanzieri leandrolanzieri added Type: new feature The issue requests / The PR implemements a new feature for RIOT Area: tools Area: Supplementary tools TF: Config Marks issues and PRs related to the work of the Configuration Task Force labels Nov 12, 2019
@leandrolanzieri leandrolanzieri force-pushed the pr/dist/tools/add_kconfiglib branch from f169350 to 1f9a32a Compare November 19, 2019 16:45
@leandrolanzieri leandrolanzieri force-pushed the pr/dist/tools/add_kconfiglib branch from 1f9a32a to b642f2e Compare November 19, 2019 16:46
@jia200x
Copy link
Copy Markdown
Member

jia200x commented Nov 21, 2019

@RIOT-OS/maintainers please have a look on this PR ;)

Copy link
Copy Markdown
Member

@cgundogan cgundogan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The proposed change is unintrusive. Tested with the patch file that @leandrolanzieri provided in the original post. ACK

@MrKevinWeiss
Copy link
Copy Markdown
Contributor

Tested and passed!

@kaspar030
Copy link
Copy Markdown
Contributor

Should we merge this without it being used?

@leandrolanzieri
Copy link
Copy Markdown
Contributor Author

Should we merge this without it being used?

@kaspar030 I've added a PR with the integration of Kconfig into the build system (#12773)

@tcschmidt
Copy link
Copy Markdown
Member

@miri64 as you've been asked: Anything you want to comment on this rather trivial PR? Otherwise I think this can be completed.

@tcschmidt tcschmidt added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Nov 25, 2019
@miri64
Copy link
Copy Markdown
Member

miri64 commented Nov 25, 2019

Not sure why I was asked though. There is a PR that uses this. So I don't see why it shouldn't be merged as a dependency. If Kconfig proofs to be a dead-end we can always remove it again.

@miri64 miri64 merged commit 95c6a78 into RIOT-OS:master Nov 25, 2019
@leandrolanzieri leandrolanzieri deleted the pr/dist/tools/add_kconfiglib branch November 25, 2019 11:46
@leandrolanzieri leandrolanzieri added this to the Release 2020.01 milestone Dec 6, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: tools Area: Supplementary tools CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR TF: Config Marks issues and PRs related to the work of the Configuration Task Force Type: new feature The issue requests / The PR implemements a new feature for RIOT

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants