On Jan 7, 2013, at 5:32 PM, Jed Brown <jedbrown at mcs.anl.gov> wrote:
> On Mon, Jan 7, 2013 at 5:30 PM, Barry Smith <bsmith at mcs.anl.gov> wrote: > Ok, so you are suggesting the same functions/options database as today > except that : separated strings for alternatives? > > Yes > > > 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 "". > > Maybe comma since semicolon is also taken. Pipe isn't that bad because > usually people would be using this notation from an options file. I thought of comma, but comma is used for arguments to PetscOptionsGetXXXArray() so I don't like the reuse in a slightly different way I can live with pipe and forcing the quotes; Barry
