chiark / gitweb /
Do not link against gmp :-).
authorian <ian>
Sun, 9 May 1999 15:21:09 +0000 (15:21 +0000)
committerian <ian>
Sun, 9 May 1999 15:21:09 +0000 (15:21 +0000)
commite9e1b0e6b53d86c2bee91711d94e87a033176f9b
tree95d62edfcc6ff22a855eec060b2c92172e4c8632
parent8b5269f2484d1ab839c3577690dccb2a5bf43b85
Do not link against gmp :-).
configure
configure.in
src/config.h.in