I see gmp.h and libgmp.a in my build trees, but not in the source trees. I.e. when I check out the source these aren't present, but after I build they are (at least in the past they were).

-Andi

On Fri, Apr 26, 2013 at 10:17 AM, Jan Stolarek <jan.stolarek@p.lodz.pl> wrote:

> I checked some older (with commits up to March 29, 2013) build trees and I
> see that in libraries/integer-gmp/gmp there are files like gmp.h and
> libgmp.a that are not present in my latest build tree.

Strange. I'm looking at the commit history at github and I see no gmp.h in the repository in
commits as old as 2009. Am I misunderstanding or not noticing something?

Janek