Ticket #1886 (closed defect: invalid)
configure complains about old gmp
Reported by: | s01ja | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | mc-core | Version: | |
Keywords: | Cc: | ||
Blocked By: | Blocking: | ||
Branch state: | Votes for changeset: |
Description
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
Change History
comment:2 in reply to: ↑ description Changed 15 years ago by andrew_b
- Status changed from new to closed
- Resolution set to invalid
Replying to s01ja:
$ 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
Is it really gpm library?
$ ll /usr/lib/libgpm.so* lrwxrwxrwx 1 root root 16 May 22 2008 /usr/lib/libgpm.so -> libgpm.so.1.19.0 lrwxrwxrwx 1 root root 16 Dec 24 2007 /usr/lib/libgpm.so.1 -> libgpm.so.1.19.0 -rw-r--r-- 1 root root 19528 Dec 24 2007 /usr/lib/libgpm.so.1.19.0
also see #1854