做网站设计是什么专业如何开发微信小程序

解决方法：

ldd 命令来验证程序是否加载了正确的库：

如检查linear_elasticity可执行文件缺少的库，用下面命令：

ldd  linear_elasticity

可以发现下面not found就是缺少的库，还有对应的库的位置已经版本 

$ ldd linear_elasticitylinux-vdso.so.1 (0x00007fff5899b000)libdeal_II.so.9.2.0 => /usr/local/lib/libdeal_II.so.9.2.0 (0x00007f3541200000)libprecice.so.2 => /usr/lib/x86_64-linux-gnu/libprecice.so.2 (0x00007f3540c00000)libm.so.6 => /usr/lib/x86_64-linux-gnu/libm.so.6 (0x00007f3549fca000)libgcc_s.so.1 => /usr/lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f3549faa000)libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f3540800000)libc.so.6 => /usr/lib/x86_64-linux-gnu/libc.so.6 (0x00007f3540400000)libopenblas.so.0 => /usr/lib/x86_64-linux-gnu/libopenblas.so.0 (0x00007f353dfb0000)libz.so.1 => /usr/lib/x86_64-linux-gnu/libz.so.1 (0x00007f3549f8c000)libboost_filesystem.so.1.71.0 => not foundlibboost_log.so.1.71.0 => not foundlibboost_log_setup.so.1.71.0 => not foundlibboost_program_options.so.1.71.0 => not foundlibboost_thread.so.1.71.0 => not found