安装z3-solver失败

问题现象描述

z3-solver安装失败。

关键过程、根本原因分析

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

结论、解决方案及效果

我们以升级到GCC 7.3.0和CMake 3.13.4为例。

1. 升级GCC。
   1. GCC升级请参见《OpenStack 调优指南（CentOS 7.6）》文档“GCC升级”章节。
   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安装包。

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

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

      ./bootstrap
      gmake
      gmake install

3. GCC和CMake都升级后，进行安装。

   pip3 install z3-solver==4.8.15.0