我git克隆最新的ECL并执行以下操作：
$./configure --prefix=/home/***/ecl
...
configure: error: Oops, mp_limb_t is 32 bits, but the assembler code
in this configuration expects 64 bits.
You appear to have set $CFLAGS, perhaps you also need to tell GMP the
intended ABI, see "ABI and ISA" in the manual.
configure: error: Failed to configure the GMP library.
$ls -l /usr/local/lib/libgmp*
-rw-r--r-- 1 root wheel 790194 9 11 14:04 /usr/local/lib/libgmp.a
-rwxr-xr-x 1 root wheel 907 9 11 14:04 /usr/local/lib/libgmp.la*
lrwxr-xr-x 1 root wheel 12 9 11 14:04 /usr/local/lib/libgmp.so@ -> libgmp.so.10
-rwxr-xr-x 1 root wheel 434419 9 11 14:04 /usr/local/lib/libgmp.so.10*
-rw-r--r-- 1 root wheel 29292 9 11 14:04 /usr/local/lib/libgmpxx.a
-rwxr-xr-x 1 root wheel 943 9 11 14:04 /usr/local/lib/libgmpxx.la*
lrwxr-xr-x 1 root wheel 13 9 11 14:04 /usr/local/lib/libgmpxx.so@ -> libgmpxx.so
0.6
-rwxr-xr-x 1根轮21092 9 11 14:04 /usr/local/lib/libgmpxx.so.6 *
问候！