tamarin-prover: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.29‘ not found (required by tamarin

查看库：

strings /lib/x86_64-linux-gnu/libm.so.6 | grep GLIBC_

解决方案：

1. 首先下载需要的版本，网站如下：

http://ftp.gnu.org/gnu/libc/

2. 命令如下：

​​​​​​​wget http://ftp.gnu.org/gnu/glibc/glibc-2.29.tar.gz

3. 解压：

tar -zxvf glibc-2.29.tar.gz
sudo apt-get install gawk

4. 进入解压后的文件夹创建build文件夹，然后安装：

mkdir build
cd build
./…/configure --prefix=/usr/local/glibc (这里显示错误，是两个点，不是三个)
make -j8
sudo make install

如果 sudo make install 报错，执行 make clean 后，重新运行命令。

5. 建立软连接：

cd /lib/x86_64-linux-gnu
ln -s /usr/local/glibc/lib/libm-2.29.so libm.so.6
//会报错 ln: failed to create symbolic link ‘libm.so.6’: File exists
//此时需要强连
sudo ln -sf /usr/local/glibc/lib/libm-2.29.so libm.so.6

注意：这里可能是一次性的，如果下次打开 linux 还是报标题错误。