Re: [PPL-devel] [PATCH] fix --with-gmp-build= when gmp builddir != srcdir

On 11/06/11 13:30, Serge Belyshev wrote:

Here is an incremental version of an updated patch with fix for --enable-shared on top of current HEAD:

Thanks a lot Serge. -- 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