libmpfr version conflict while building.

[jahagirdar]

I see the following in the build/config.log file

firesim/target-design/chipyard/riscv-tools-install/bin/../libexec/gcc/riscv64-unknown-elf/9.2.0/cc1: error while loading shared libraries: libmpfr.so.4: cannot open shared object file: No such file or directory

My system details is as follows

uname -a
Linux dyumin2 5.13.0-27-generic #29~20.04.1-Ubuntu SMP Fri Jan 14 00:32:30 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux

lsb_release -a
LSB Version:    core-11.1.0ubuntu2-noarch:printing-11.1.0ubuntu2-noarch:security-11.1.0ubuntu2-noarch
Distributor ID: Linuxmint
Description:    Linux Mint 20.3
Release:        20.3
Codename:       una

ldd /home/vijayvithal/i-firesim/target-design/chipyard/riscv-tools-install/bin/../libexec/gcc/riscv64-unknown-elf/9.2.0/cc1
        linux-vdso.so.1 (0x00007ffc42f09000)
        libmpc.so.3 => /lib/x86_64-linux-gnu/libmpc.so.3 (0x00007f241a4b7000)
        libmpfr.so.4 => not found
        libgmp.so.10 => /lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f241a433000)
        libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f241a42d000)
        libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f241a411000)
        libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f241a2c2000)
        libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f241a0ce000)
        /lib64/ld-linux-x86-64.so.2 (0x00007f241a704000)
        libmpfr.so.6 => /lib/x86_64-linux-gnu/libmpfr.so.6 (0x00007f241a04d000)

Ubuntu 20 has libmpfr.so.6 not libmpfr.so.4

[aswaterman]

This isn't a problem with pk (which doesn't depend on MPFR in any respect). It looks like your C compiler installation is somehow messed up.