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)
commit2ec5614accc260542791ef71da5eaa6e4443b8e5
tree0facc3dc37443a2bfd6d28c1dca83de6ca78bcb3
parent38ebd7bfec5698a2e2ce86e3939b7515997d2f1d
Fix build when gmp isn't installed
mkGmpDerivedConstants/ghc.mk