<div dir="ltr">On Fri, Nov 23, 2012 at 9:25 AM, Roman Beslik <span dir="ltr">&lt;<a href="mailto:rabeslik@gmail.com" target="_blank">rabeslik@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
{{{<br>
manual: boolean (default: False)<br>
By default, Cabal will first try to satisfy dependencies with the default flag value and then, if that is not possible, with the negated value. However, if the flag is manual, then the default value (which can be overridden by commandline flags) will be used.<br>

}}}<br>
Can I interpret this as {{{<br>
First, Cabal tries to satisfy dependencies with the default flag value. Second, if the flag is manual, Cabal tries to satisfy dependencies with the negated flag value.<br>
}}} ?<br></blockquote><div><br></div><div>That describes it in the default case.  The point is more that it will try all possibilities for a flag which is not &quot;manual: True&quot; but only use the exact setting specified in the latter case.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
{{{<br>
This file should contain of a number global property descriptions and several sections.<br>
}}}<br>
Maybe it&#39;s my English<br></blockquote><div><br></div><div>The author typoed or possibly had an editing accident, I think; the words are scrambled.  Native English speakers may well do what I did the first time and correct it without noticing.</div>
<div><br></div><div>&quot;This file should contain a number of global property descriptions....&quot;</div></div><div><br></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div>
<div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix/linux, openafs, kerberos, infrastructure          <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div>
</div><br>
</div>