---
title: 安装z3-solver失败的解决方法
description: "z3-solver安装失败。"
url: https://www.hikunpeng.com/document/detail/zh/kunpengboostkithistory/2400/bds/kunpengbds_omniruntime_20_0423.html
sourcePath: /source/zh/kunpengboostkithistory/2400/bds/kunpengbds_omniruntime_20_0423.html
indexId: dd0ad3201a925e7a72856e62b475b0d19c9b97bc1415eeadaa2a6f97b545589178
---
# 安装z3-solver失败的解决方法

#### 问题现象描述

z3-solver安装失败。


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

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


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

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

1. 升级GCC。

  a. 参考    GCC升级(https://www.hikunpeng.com/document/detail/zh/kunpengcpfs/ecosystemEnable/OpenStack/kunpengopenstack_05_0017.html)
，完成升级。
  b. 升级完成后，新增环境变量。
    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。

  a. 下载CMake安装包。
    1 wget https://github.com/Kitware/CMake/archive/refs/tags/v3.13.4.tar.gz --no-check-certificate

  b. 解压后进入目录，执行如下命令。
    1 2 3 ./bootstrap gmake gmake install

3. GCC和CMake都升级后，重新安装z3-solver。
  1 pip3 install z3-solver==4.8.15.0