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

[Breno Matheus Lima]

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 :)

Thanks,
Breno Lima

[1]: https://askubuntu.com/questions/1054236/cannot-open-libmpfr-so-4-after-update-on-ubuntu-18-04
[2]: https://github.com/GreenWaves-Technologies/gap_sdk/issues/4