est31 181f7baa45 Add LibGMP ...

Uses system provided libgmp if found, if not it falls back to mini-gmp.

2015-05-11 17:48:33 +02:00

..

before_install.sh

Add LibGMP

2015-05-11 17:48:33 +02:00

script.sh

Clean up and tweak build system

2015-03-27 15:00:48 -04:00

toolchain_mingw.cmake.in

Clean up and tweak build system

2015-03-27 15:00:48 -04:00