id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	blockedby	blocking	branch_state	votes
1886	configure complains about old gmp	s01ja		"checking for Gpm_Repeat in -lgpm... no
configure: error: libgpm is missing or older than 0.18

vs

  --with-gpm-mouse         Compile with gpm mouse support (Linux only)
                           [yes if found]

$ ls -la /usr/lib/| grep gmp
lrwxrwxrwx   1 root root       15 2009-07-30 01:40 libgmp.so.3 -> libgmp.so.3.4.2
-rw-r--r--   1 root root   208280 2008-01-24 13:50 libgmp.so.3.4.2

should ignore bad gmp version and continue configuring

fix:
./configure --without-gmp-mouse

"	defect	closed	minor		mc-core		invalid