<div class="gmail_quote">On Sat, Jan 21, 2012 at 12:53, Paul Mullowney <span dir="ltr"><<a href="mailto:paulm@txcorp.com">paulm@txcorp.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":1hg">--with-txpetscgpu=1 --download-txpetscgpu=yes<br>
<br>
If the first option is 0, then it defaults to the old.</div></blockquote></div><br><div>What?!</div><div><br></div><div>--with-txpetscgpu=0 should disable the package.</div>