[PPL-devel] [PATCH] fix --with-gmp-build= when gmp builddir != srcdir
Roberto Bagnara
bagnara at cs.unipr.it
Sun Nov 6 14:45:16 CET 2011
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 at cs.unipr.it
More information about the PPL-devel
mailing list