18 Sep
2010
18 Sep
'10
12:30 p.m.
On 09/18/10 11:29, Peter Kruse wrote:
may I suggest that configure ends with in error if it can't find a GNU sed? Or search $PATH for a GNU sed and use that? I mean if it's possible to automate the process why not do it?
Hi Peter, do you know a way to automate the process with Autoconf? 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