Fix integer-gmp build (#568)
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 16 Apr 2018 01:10:17 +0000 (02:10 +0100)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 01:10:17 +0000 (02:10 +0100)
commitc190ab6eeda6cfa0782269d4f2d38c64aa65fd17
tree9a65a653c220ba997683ffad77f93dd916d45cc9
parent4e4a023f5f0595f54df8a0872a34506114df2423
Fix integer-gmp build (#568)

* Fix path to GMP's config.mk

* Minor revision

* Relocate GMP's build artefacts
src/Rules/Gmp.hs
src/Rules/Library.hs