Merge pull request #80 from angerman/feature/integerGmpIncludePath
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 3 Jan 2016 13:17:44 +0000 (13:17 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 3 Jan 2016 13:17:44 +0000 (13:17 +0000)
Adds integer gmp path to the Gcc builder.


Trivial merge