est31 8135f89e21 Add LibGMP
Uses system provided libgmp if found, if not it falls back to mini-gmp.

Conflicts:
	README.txt
	build/android/Makefile
2015-05-31 23:13:54 +10:00
..
2015-05-31 23:13:54 +10:00
2013-02-24 18:49:03 +01:00