☰

在 ubuntu 16.04 中安装 Z3 时出现问题

tag-icon • tag-icon 16.04 software-installation mono
在 ubuntu 16.04 中安装 Z3 时出现问题

我从下载了 Z3https://github.com/Z3Prover/z3在 Ubuntu 16.04 上，但编译后的文件微软.z3.dll安装在项目目录中，而不是 mono 或 GAC 文件夹中，程序无法识别它（微软.z3.dll放置在z3-master/build/而不是/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/)。

以下是我安装 Z3 时使用的说明：

  1. 按照下载页面的说明安装 Mono 项目的软件包存储库，然后：
sudo apt-get install mono-devel

sudo apt-get install nuget
  1. 从 Z3 版本下载当前稳定版本，然后：

CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil python scripts/mk_make.py --dotnet

cd build

make

sudo make install

请告诉我如何安装该文件微软.z3.dll其他地方或如何移动已安装的文件微软.z3.dll。

相关内容