getting error while loading share libraries libmpfr.so

[EdrisBorne]

I am trying to use this repository to generate a bitstream for my FPGA. When I first try to run the command on our sever (so I am not the sudo):

make CONFIG=rocket64b1 BOARD=vc707 bitstream I get java.lang.IllegalArgumentException: requirement failed: Failed to run dtc; is it in your path?

Although it is on my path:

which dtc
/tools/xilinx/Vitis_2023.1/Vitis/2023.1/bin/dtc

Then I tried using the conda environment, i.e. :

conda activate base

and when I run the make bitstream command again I get:

/vivado-risc-v/workspace/gcc/riscv/bin/riscv64-unknown-elf-gcc -march=rv64imac -mabi=lp64 -mcmodel=medany -Os -ffunction-sections -Wall -fno-pic -fno-common -g -I. -DDEVICE_TREE='"system.dtb"' -static -nostartfiles -T bootrom.lds -Wl,--gc-sections -o bootrom.elf head.S kprintf.c bootrom.c ff.c ffunicode.c
/vivado-risc-v/workspace/gcc/riscv/bin/../libexec/gcc/riscv64-unknown-elf/7.2.0/cc1: error while loading shared libraries: libmpfr.so.6: cannot open shared object file: No such file or directory

I search for libmpfr.so on different directories and found some. But I am not sure how to fix the problem. Any comments would be appreciated.