Re: [PPL-devel] configure problem when gmpxx is not installed in standard location

On Tue, Oct 7, 2008 at 3:24 PM, Roberto Bagnara bagnara@cs.unipr.it wrote:

the 0.10pre34 snapshot, available at the usual place, fixes this problem. Please let us know how it goes.

pre34 does fix the problem.

Thanks, Sebastian