On 2011/05/09 07:00, Julia Lawall wrote: > > If ther is a way for configure to determine what is available, then that > should be good enough.
Best way IMHO is to test that the REs and diff options you need are supported by the system tools, and bail with a warning if not. If it's not too much trouble, it would make life easier for porters if the paths to these tools can be passed to configure and have it substitute in the files where it's used, but pragmatically it's not very widely needed as most of the common OS are just using gnu grep as /usr/bin/grep, I wouldn't have a problem keeping these as local patches.. cheers, Stuart _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
