安装z3-solver失败的解决方法

问题现象描述

z3-solver安装失败。

关键过程、根本原因分析

很大程度上是由于GCC版本和CMake版本太旧导致，要求CMake 3.4以上版本，因此我们需要升级GCC版本和CMake版本。

结论、解决方案及效果

此处以升级到GCC 7.3.0和CMake 3.13.4为例。

1. 升级GCC。
   1. GCC升级参考文档。https://www.hikunpeng.com/document/detail/zh/kunpengcpfs/ecosystemEnable/OpenStack/kunpengopenstack_05_0017.html
   2. 升级完成后，新增环境变量。

      1 2	export LD_LIBRARY_PATH=/usr/local/mpc-1.0.3/lib:/usr/local/gmp-6.1.2/lib:/usr/local/mpfr-3.1.5/lib:/usr/local/gcc-7.3.0/lib64:/usr/local/isl-0.18/lib:/usr/local/lib:/usr/lib:$LD_LIBRARY_PATH export PATH=/usr/local/gcc-7.3.0/bin:$PATH

2. 升级CMake。
   1. 下载CMake安装包。

      1	wget https://github.com/Kitware/CMake/archive/refs/tags/v3.13.4.tar.gz --no-check-certificate

   2. 解压后进入目录，执行如下命令。

      1 2 3

      ./bootstrap gmake gmake install

3. GCC和CMake都升级后，重新安装z3-solver。

   1	pip3 install z3-solver==4.8.15.0