[project @ 2000-08-25 10:06:37 by qrczak]
authorqrczak <unknown>
Fri, 25 Aug 2000 10:06:37 +0000 (10:06 +0000)
committerqrczak <unknown>
Fri, 25 Aug 2000 10:06:37 +0000 (10:06 +0000)
commitfd23905bf703daa9df3a0d6858d32aa737b0516b
tree8a42ddcd8e3183426107ce17ba99f12b39873687
parentc58ee0740f10b8f92d240172719c233276ac8ed2
[project @ 2000-08-25 10:06:37 by qrczak]
Don't strip libgmp.a. (But perhaps --strip-unneeded or something
would be harmless.)

PS. The configure script looks for __gmpz_fdiv_qr, but gmp that I have
installed uses the name mpz_fdiv_qr and is thus not being found. (Also
it is dynamically linked, where ghc's gmp is only statically linked.)
I guess that configure should check for either name.
ghc/rts/Makefile