
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