[project @ 2000-02-24 14:40:38 by sewardj]
authorsewardj <unknown>
Thu, 24 Feb 2000 14:40:38 +0000 (14:40 +0000)
committersewardj <unknown>
Thu, 24 Feb 2000 14:40:38 +0000 (14:40 +0000)
commitc572a2274936c009879e90a676171f5a0472d4e9
treee81d4ebfd90e4b8b7ca6d2ebc1d80bc8180c8cf4
parent3cb2eab4d6617c9fa43eccf2d9eb3ea0c80a18ee
[project @ 2000-02-24 14:40:38 by sewardj]
Don't always use GMP from ghc/rts; instead consult HaveLibGmp first.
ghc/interpreter/Makefile