Re: "libmpfr.so.4" not found

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

libmpfr might be a read herring:

cd /usr/src/tools/xz-include
make dependall

and configure ends with:

+ ac_val=/usr/src/tools/xz-include/../../external/public-domain/xz/dist
+ for ac_var=subdirs
+ eval 'ac_val=$subdirs'
+ ac_val=''
+ for ac_var=sysconfdir
+ eval 'ac_val=$sysconfdir'
+ ac_val='${prefix}/etc'
+ for ac_var=target
+ eval 'ac_val=$target'
+ ac_val=''
+ for ac_var=verbose
+ eval 'ac_val=$verbose'
+ ac_val=''
+ for ac_var=x_includes
+ eval 'ac_val=$x_includes'
+ ac_val=NONE
+ for ac_var=x_libraries
+ eval 'ac_val=$x_libraries'
+ ac_val=NONE
+ using redirections:+ sort
 2>&+ using redirections:1 do subshell ( 2>&1 do subshell (

+ sed -n '/^[_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789]*_cv_[_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789]*=/p'
+ } failed
+ } failed
*** Error code 1