Re: [PATCH v3] kbuild: document recursive dependency limitation / resolution

From	"Luis R. Rodriguez" <mcgrof@do-not-panic.com>
Newsgroups	linux.kernel
Subject	Re: [PATCH v3] kbuild: document recursive dependency limitation / resolution
Date	2015-10-08 01:10 +0200
Message-ID	<qh60p-2mN-13@gated-at.bofh.it> (permalink)
References	(2 earlier) <qfRPP-1Wf-1@gated-at.bofh.it> <qgn3j-4Wl-15@gated-at.bofh.it> <qgvDz-v1-5@gated-at.bofh.it> <qgvWX-S5-27@gated-at.bofh.it> <qgwJl-21W-37@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

On Tue, Oct 6, 2015 at 2:22 AM, Valentin Rothberg
<valentinrothberg@gmail.com> wrote:
> Hi Paul,
>
> On Oct 06 '15 10:32, Paul Bolle wrote:
>> Hi Valentin,
>>
>> On di, 2015-10-06 at 10:19 +0200, Valentin Rothberg wrote:
>> > I think that a general remark that using selects should be discouraged
>> > as, besides causing the recursive issue, selects can also break
>> > dependencies.
>>
>> How do selects break dependencies?
>
> Consider the following example (I also attached it as a path):
>
> config A
>     bool "CONFIG A"
>
> config B
>     bool "CONFIG B"
>     depends on !A
>
> config C
>     bool "CONFIG C"
>     depends on A
>     select B
>
> The option B and C are clearly contradicting with respect to A.
> However, when A is set, C can be set as well because Kconfig does not
> visit the dependencies of the select target (in this case B).  And since
> Kconfig does not visit the dependencies, it breaks the dependencies of B
> (!A).
>
> You can test the example after applying the patch via:
>    $ make KBUILD_KCONFIG=bad_selects.Kconfig menuconfig
>
> Set A, then set C and you'll see that B is set to 'y' as well.

I'll add a form of this example into my patch as well... I'll respin
next. I've decided to take out all of the SAT solving discussion and
text and throw it into a wiki. We now also have quite a bit of
interest from mentors and at least one developer who might be
interested in this work. I'll Cc them and provide the wiki URL and
mailing list that can be used for further discussions / ideas on SAT
solver - kconfig integration.

 Luis

 Luis
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Thread

Re: [PATCH v3] kbuild: document recursive dependency limitation /  resolution "Luis R. Rodriguez" <mcgrof@suse.com> - 2015-10-06 01:10 +0200
  Re: [PATCH v3] kbuild: document recursive dependency limitation /  resolution Valentin Rothberg <valentinrothberg@gmail.com> - 2015-10-06 10:20 +0200
    Re: [PATCH v3] kbuild: document recursive dependency limitation /  resolution Paul Bolle <pebolle@tiscali.nl> - 2015-10-06 10:40 +0200
      Re: [PATCH v3] kbuild: document recursive dependency limitation /  resolution Valentin Rothberg <valentinrothberg@gmail.com> - 2015-10-06 11:30 +0200
        Re: [PATCH v3] kbuild: document recursive dependency limitation / resolution "Luis R. Rodriguez" <mcgrof@do-not-panic.com> - 2015-10-08 01:10 +0200
  Re: [PATCH v3] kbuild: document recursive dependency limitation /  resolution Paul Bolle <pebolle@tiscali.nl> - 2015-10-06 11:20 +0200

csiph-web