Not Compiling on macOS

[Naville]

Seems like a issue related to LLVM3.2 itself, can I replace it with LLVM5.X/4.X ?

Development/bin2llvm-build/llvm-3.2.src.native/lib/Analysis/LazyValueInfo.cpp:998:14: error: 
      no matching member function for call to 'insert'
    worklist.insert(worklist.end(), succ_begin(ToUpdate), succ_end(ToUpdate));
    ~~~~~~~~~^~~~~~
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:706:14: note: 
      candidate function not viable: no known conversion from 'succ_iterator'
      (aka 'SuccIterator<llvm::TerminatorInst *, llvm::BasicBlock>') to
      'size_type' (aka 'unsigned long') for 2nd argument
    iterator insert(const_iterator __position, size_type __n, const_refe...
             ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:710:14: note: 
      candidate template ignored: disabled by 'enable_if' [with _InputIterator =
      llvm::SuccIterator<llvm::TerminatorInst *, llvm::BasicBlock>]
             __is_input_iterator  <_InputIterator>::value &&
             ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:721:13: note: 
      candidate template ignored: disabled by 'enable_if' [with _ForwardIterator
      = llvm::SuccIterator<llvm::TerminatorInst *, llvm::BasicBlock>]
            __is_forward_iterator<_ForwardIterator>::value &&
            ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:698:14: note: 
      candidate function not viable: requires 2 arguments, but 3 were provided
    iterator insert(const_iterator __position, const_reference __x);
             ^
1 error generated.

And this is my native compiler:

[bin2llvm] clang -v                                                                                                                                                                    master  ✱
Apple LLVM version 8.1.0 (clang-802.0.42)
Target: x86_64-apple-darwin16.7.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

[Naville]

nvm seems like LLVM 3.2 is a dependency of KLEE, which itself is a dependency of S2E.
I guess docker is the way to go