---
title: 安装z3-solver失败
description: "z3-solver安装失败。"
url: https://www.hikunpeng.com/document/detail/zh/kunpengboostkithistory/2200/bds/kunpengomnicache_20_0034.html
sourcePath: /source/zh/kunpengboostkithistory/2200/bds/kunpengomnicache_20_0034.html
indexId: 7d6f0912096264cf6f0cf0bde5198ea2b257085c8df1d082052eb254f40bd96472
---
# 安装z3-solver失败

#### 问题现象描述

z3-solver安装失败。


#### 关键过程、根本原因分析

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


#### 结论、解决方案及效果

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

1. 升级GCC。

  a. GCC升级请参见《OpenStack 调优指南（CentOS 7.6）》文档“    GCC升级(https://www.hikunpeng.com/document/detail/zh/kunpengcpfs/ecosystemEnable/OpenStack/kunpengopenstack_05_0017.html)
”章节。
  b. 升级完成后，新增环境变量。

```
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升级。

  a. 下载CMake安装包。

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


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

```
./bootstrap
gmake
gmake install
```


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

```
pip3 install z3-solver==4.8.15.0
```