zoukankan      html  css  js  c++  java
  • 关于CCI项目中缺少libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll的解决办法

    今天将CCI项目源码下载下来,整体编译时,看起来是成功了,但是打开Samples下的AnalysisToText时,却报错了。顺着提示找到Z3Wrapper进行编译,这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll,找遍了整体项目都没有发现有这些DLL,于是上网搜索一番。

    最终找到了Microsoft Research下的Z3项目,有一个安装包z3-4.1.msi,于是将其下载下来(官方下载地址:http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/),然后进行安装。

    安装完后,对应到路径下找到了bin文件夹(或者x64文件夹),下面有libz3.dll、Microsoft.Z3.dll、Microsoft.Z3V3.dll等dll,将他们全都复制到目录下,然后拷贝到Z3Wrapper项目下,将这些文件添进去,再次进行编译。

    本以为这次一定过了,又报了一个问题,提示InterimKey.snk和Version.cs找不到,最终发现这两个文件在SourcesCommon和SourcesCommonInclude下。需要将这些文件进行配置,如果懒得配置,可以将Common文件夹直接找贝到与Sources同级目录下(具体位置可以点开ZeWrapper的签名中对应的签名档路径,如下图)。


    按着....CommonInterimKey.snk,可以对应到相应的目录,然后将Common文件夹找到对应的位置。

    Mark一下,以备后用。


  • 相关阅读:
    015-面向对象
    017-错误和异常
    019-File
    020-OS
    021-模块
    022-标准库
    数据库目录
    数据库 概念详解
    MySQL 基础
    MySQL 数据库操作
  • 原文地址:https://www.cnblogs.com/sparkleDai/p/7605046.html
Copyright © 2011-2022 走看看