[PPL-devel] Undefined PPL references attempting to build cloog-ppl

[Roberto Bagnara]

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 at cs.unipr.it