| 1 |
Dear Duncan, |
| 2 |
|
| 3 |
maybe you already know the project at http://orca.varstack.com/ |
| 4 |
Otherwise I would like to advise the following link to you |
| 5 |
to answer the question of how to test different USE flag |
| 6 |
combinations: |
| 7 |
https://github.com/pallavagarwal07/SummerOfCode16/blob/997078ebbf1aa86ba17fa53e400e4c99d7d640b7/Documents/SAT-Solver.md |
| 8 |
|
| 9 |
Actually, the guy who coded on this GSoC project and wrote the article |
| 10 |
used a SAT solver to find out all possible legal use-flag combinations. |
| 11 |
So maybe this solution can prevent someone from re-inventing the wheel ;-). |
| 12 |
|
| 13 |
|
| 14 |
|
| 15 |
Best wishes, |
| 16 |
|
| 17 |
|
| 18 |
Harald Weiner. |
| 19 |
|
| 20 |
>>> Duncan <1i5t5.duncan@×××.net> 11/17/16 6:02 PM >>> |
| 21 |
Michael Palimaka posted on Fri, 18 Nov 2016 02:35:26 +1100 as excerpted: |
| 22 |
|
| 23 |
> On 18/11/16 01:58, William Hubbs wrote: |
| 24 |
>> On Thu, Nov 17, 2016 at 06:16:27PM +1100, Michael Palimaka wrote: |
| 25 |
>>> ==== USE flags ==== |
| 26 |
>>> |
| 27 |
>>> While it is preferable to test every USE flag combination, this is not |
| 28 |
>>> always possible or appropriate. The package may have a large number of |
| 29 |
>>> USE flags, a long compile time, or the stabilisation in question may |
| 30 |
>>> just not call for it. |
| 31 |
>>> |
| 32 |
>>> In cases where all USE flags combinations are not being tested, it is |
| 33 |
>>> still recommended to test: |
| 34 |
>>> * with all USE flags enabled * with all USE flags disabled |
| 35 |
>> |
| 36 |
>> Does this mean we are changing our policy to support users running |
| 37 |
>> USE="-*"? I'm asking for clarification because in the past we have |
| 38 |
>> always told users that if they do that they are on their own. |
| 39 |
> |
| 40 |
> Testing with all USE flags disabled is more about catching build |
| 41 |
> failures than guaranteeing the package will necessarily do something |
| 42 |
> useful. |
| 43 |
|
| 44 |
Along the same line but with all flags enabled, how does that apply to |
| 45 |
exclusive-or flags such as the qt4/qt5 thing that has been quite common? |
| 46 |
|
| 47 |
Sure common sense suggests "all" doesn't really mean "all" in that case, |
| 48 |
but given the opportunity presented by the update, if a guideline for the |
| 49 |
case can be made explicit... |
| 50 |
|
| 51 |
-- |
| 52 |
Duncan - List replies preferred. No HTML msgs. |
| 53 |
"Every nonfree program has a lord, a master -- |
| 54 |
and if you use the program, he is your master." Richard Stallman |
Archives