Makefile

Matthew Fluet fluet@CS.Cornell.EDU
Sun, 19 Nov 2000 21:35:22 -0500 (EST)


I would also suggest adding libgmp.a to the RUNTIME list in the
/src/Makefile.  I've had the problem that the libgmp in my default
library path gives the following (non-fatal) warnings:  

/usr/bin/ld: warning: type and size of dynamic symbol `__mpn_lshift' are
not defined
/usr/bin/ld: warning: type and size of dynamic symbol `__mpn_rshift' are
not defined

I think it corresponds to a different version of the gmp library.