[U-Boot] [Buildman] libmpfr.so.4 error when running buildman in Ubuntu 18.04

Tom Rini trini at konsulko.com
Mon Sep 23 20:02:37 UTC 2019

On Mon, Sep 23, 2019 at 04:47:55PM -0300, Breno Matheus Lima wrote:

> Hi All,
> I'm trying to run buildman in Ubuntu 18.04 and I met the following
> build issue in most of the archs:
> +/home/breno/.buildman-toolchains/gcc-7.3.0-nolibc/powerpc-linux/bin/../libexec/gcc/powerpc-linux/7.3.0/cc1:
> error while loading shared libraries: libmpfr.so.4: cannot open shared
> object file: No such file or directory
> +make[2]: *** [u-boot.cfg] Error 1
> +make[1]: *** No rule to make target 'include/config/auto.conf',
> needed by 'include/config/uboot.release'.  Stop.
> +make: *** [sub-make] Error 2
> According to link [1] libmpfr4 has been dropped in Ubuntu 18.04 It was
> replaced by the package libmpfr6, seems that the toolchains being used
> by buildman requires libmpfr4 package.
> Has anyone seen similar issue?
> I could solve this issue after following link [2] and creating a
> symbolical link for libmpfr.so.4 as below:
> $ sudo ln -s /usr/lib/x86_64-linux-gnu/libmpfr.so.6
> /usr/lib/x86_64-linux-gnu/libmpfr.so.4
> Just wondering if someone found a better workaround for this issue :)

A better workaround for this is to grab the libmpfr4 deb from Ubuntu
16.04 and install that.  I suppose we might need to investigate moving
to the Bootlin created toolchains, even if we can't also move to a newer
toolchain version at the same time (for various reasons documented in
other threads, we need gcc 8.3 or 9.x for all architectures to be

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.denx.de/pipermail/u-boot/attachments/20190923/06a0aec2/attachment.sig>

More information about the U-Boot mailing list