| 1 |
On Mon, 23 Jan 2017 20:40:00 +0100 |
| 2 |
Michał Górny <mgorny@g.o> wrote: |
| 3 |
|
| 4 |
> On Mon, 23 Jan 2017 20:30:38 +0100 |
| 5 |
> Alexis Ballier <aballier@g.o> wrote: |
| 6 |
> |
| 7 |
> > On Mon, 23 Jan 2017 18:37:15 +0100 |
| 8 |
> > Michał Górny <mgorny@g.o> wrote: |
| 9 |
> > > > For example, if you allow use.mask or use.force in mixins, you |
| 10 |
> > > > can end up having unsatisfiable deps that repoman will never |
| 11 |
> > > > catch. Arguably, desktop profiles relying on having an useflag |
| 12 |
> > > > forced on a given package are already semi-broken: they'd be |
| 13 |
> > > > better with the useflag default enabled and proper usedeps, so |
| 14 |
> > > > the mask/force game doesnt seem really useful for mixins. |
| 15 |
> > > |
| 16 |
> > > That's why if you do such a thing, you would have to declare a |
| 17 |
> > > regular profile using this mix-in for repoman to test. |
| 18 |
> > > |
| 19 |
> > |
| 20 |
> > still that doesn't account for a 'ihatelennart' mixin masking udev & |
| 21 |
> > systemd and a 'ilovelennart' mixin masking udev & eudev and an user |
| 22 |
> > enabling them both |
| 23 |
> |
| 24 |
> That's why they can define blockers/conflicts. |
| 25 |
|
| 26 |
|
| 27 |
well then 'ihateudev' masking udev, 'ihateeudev' masking eudev and |
| 28 |
'ihatesystemd' masking systemd; what are the blockers here? |
| 29 |
|
| 30 |
|
| 31 |
> > why not let such a stupid example be, it is similar to package.mask |
| 32 |
> > users can already fill, but I'm pretty sure more subtle breakage |
| 33 |
> > will appear |
| 34 |
> > |
| 35 |
> > repoman will test n out of 2^n (or n!) possibilities the way you |
| 36 |
> > suggest, which is basically nothing when n is big |
| 37 |
> |
| 38 |
> Are you going somewhere in particular with this or just arguing for |
| 39 |
> the sake of arguing? |
| 40 |
|
| 41 |
arguing for the sake of arguing are the above examples; this is the |
| 42 |
reason why it is useless to argue on this because you're basically |
| 43 |
hiding a sat solver inside repoman: it has to answer the question "does |
| 44 |
there exist an assignment of mixins that makes that dep unsatisfiable?" |
| 45 |
if you want the check to be complete |
Archives