<div dir="ltr"><div class="gmail_extra">On Mon, Jan 7, 2013 at 5:30 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></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"><div id=":4np">   Ok, so you are suggesting the same functions/options database as today except that : separated strings for alternatives?<br>
</div></blockquote><div><br></div><div style>Yes</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":4np">
<br>
    Note that PetscFListGetPathAndFunction() which is used by all the checkers handles the form [/path/libname[.so.1.0]:]functionname[()] so : is already reserved. I would suggest | but the damn shell would require always protecting the arguments with "".</div>
</blockquote></div><br></div><div class="gmail_extra" style>Maybe comma since semicolon is also taken. Pipe isn't that bad because usually people would be using this notation from an options file.</div></div>