
19 Sep
2010
19 Sep
'10
10:41 a.m.
On 09/19/10 10:28, Peter Kruse wrote:
But looking at the manual I found you could for one use the macro AC_PROG_SED but that doesn't check for GNU sed, then there is a section on sed at http://www.gnu.org/software/autoconf/manual/autoconf.html#sed where it explains so limitations on the sed pattern you should use. Maybe it would be a better idea to use a sed pattern that does not fail with Solaris' sed.
I agree. Can you please try to come up with revised Posix sed patterns that do not fail with Solaris' sed? We would be glad to apply the patch. All the best,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it