Fix build when gmp isn't installed
authorIan Lynagh <ian@well-typed.com>
Sun, 28 Apr 2013 16:12:57 +0000 (17:12 +0100)
committerIan Lynagh <ian@well-typed.com>
Sun, 28 Apr 2013 16:12:57 +0000 (17:12 +0100)
commit8a6e132f4b466dae0646cfff5172d07c87a2262b
tree12ed0c0c99953a235fe5acc27fb054ab3f2bf608
parent1e2e0132eb7c80531e435971d036e8eb3ab93645
Fix build when gmp isn't installed
libraries/integer-gmp/mkGmpDerivedConstants/ghc.mk