在linux上开发嘉楠耘智K210依赖库的问题

首先放出我IDE编译时出现的问题：

[ INFO] /home/wenhan/k210/KendryteIDE/LocalPackage/toolchain/bin/../libexec/gcc/riscv64-unknown-elf/8.2.0/cc1: error while loading shared libraries: libisl.so.19: cannot open shared object file: No such file or directory
[ INFO] /home/wenhan/k210/KendryteIDE/LocalPackage/toolchain/bin/../libexec/gcc/riscv64-unknown-elf/8.2.0/cc1: error while loading shared libraries: libisl.so.19: cannot open shared object file: No such file or directory
[ INFO] /home/wenhan/k210/KendryteIDE/LocalPackage/toolchain/bin/../libexec/gcc/riscv64-unknown-elf/8.2.0/cc1: error while loading shared libraries: libisl.so.19: cannot open shared object file: No such file or directory
[ INFO] kendryte-standalone-sdk/CMakeFiles/kendryte-standalone-sdk.dir/build.make:88: recipe for target 'kendryte-standalone-sdk/CMakeFiles/kendryte-standalone-sdk.dir/lib/bsp/entry_user.c.obj' failed
[ INFO] make[2]: *** [kendryte-standalone-sdk/CMakeFiles/kendryte-st