Question

我正在尝试在mac os x上构建Z3。

遵循README文件，我刚刚执行了

autoconf
./configure
make

找不到错误“omp.h”文件。

我将omp.h文件从/usr/llvm-gcc-4.2/lib/gcc/i686-apple-darwin11/4.2.1/include复制到lib目录以解决此问题。

然后，我在构建代码时遇到lib/buffer.h:243:13: error: use of undeclared identifier 'push_back'错误。

可能是什么解决方案？我在Mac OS X 10.7.5上有gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00)。

Answer 1

下一个版本（Z3 v4.3.2）将更好地支持OSX，clang和旧版本的gcc。您应该能够使用以下说明编译候选版本。 rc是包含当前候选版本的分支。

git clone https://git01.codeplex.com/z3 -b rc
cd z3
python scripts/mk_make.py
cd build
make

BTW，链接http://z3.codeplex.com/releases/view/95640不包含最新版本（Z3 v4.3.1）。我们不再创建包含源代码的zip文件，因为codeplex会自动为任何版本生成它们。有关其他详细信息，请参阅this link。

修改 2013年2月，我们开始为所有主要平台（包括OSX）提供夜间构建。 Here是有关如何下载这些预编译二进制文件的说明。 结束编辑

Answer 2

或者，您可以使用Homebrew：

const uniqueID = XhKsZ;

 startUpload(event) {
    this.loading = true;

    this.selectedFiles = event.target.files;

    this.files = Array.from(event.target.files);


    let filesFiletered = _.range(this.files.length);

    if(filesFiletered.length > 0){
      _.each(filesFiletered, ((idx) => {

    /*${uniqueID}${idx} filename*/

    const filePath = `folder/${uniqueID}/${uniqueID}${idx}`;
  }));
}

在mac os x上构建z3

2 个答案: