mini-gmp checkin?

Niels Möller nisse at
Fri Feb 17 11:29:09 CET 2012

I've had a look at the dist machinery. Adding a directory to EXTRA_DIST
copies the directory and *all* files. Then GMP uses dist-hook to clean
up a bit. I ended up adding a couple of the files to EXTRA_DIST, and
then a line in dist-hook to also copy mini-gmp/tests/*.[ch]. Seems to
work fine, make dist appears to pick up the right files, and make
distcheck works.

Complete patch is rather large, so I put it at

I settled for the name bootstrap.c. Otherwise the changes are about the
same as in the previous patch.

I'm about to check this in. Ok?


Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.

More information about the gmp-devel mailing list