thank you all for your answers. Maybe the solution would be to check for $prefix/lib64 (and $prefix/lib32) if we don't find libgmp in $prefix/lib. Paul