search for: z3_include_dir

...al/Cellar/llvm/6.0.1-bin-cc/bin/clang++ -DLLVM_TARGETS_TO_BUILD="X86" -DLLVM_CREATE_XCODE_TOOLCHAIN=ON -DLLVM_ENABLE_CXX1Y=ON -DLLVM_ENABLE_CXX1Z=ON -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/llvm/8.0.0-bin/ .. I noticed seeing amidst msgs "Could NOT find Z3 (missing: Z3_LIBRARIES Z3_INCLUDE_DIR) (Required is at least version "4.7.1")" and after that: make -j4 that stopped saying it didn't find "compression.h", I thought it should be somewhere because I've zlib installed, I looked and it wasn't anywhere, although I webbed that MacOSX 10.13 sdk has i...

...METAL_ARMV7EM_SYSROOT=~/arm-sysroot -C ../../code/clang/cmake/caches/BaremetalARM.cmake ../../code/clang loading initial cache file ../../code/clang/cmake/caches/BaremetalARM.cmake -- Found LLVM_CONFIG as /usr/local/bin/llvm-config -- Building with -fPIC -- Could NOT find Z3 (missing: Z3_LIBRARIES Z3_INCLUDE_DIR) (Required is at least version "4.5") -- Clang version: 4.0.1 CMake Error at /usr/local/llvm40/lib/cmake/llvm/LLVM-Config.cmake:203 (message): Library `BinaryFormat' not found in list of llvm libraries. Call Stack (most recent call first): /usr/local/llvm40/lib/cmake/llvm/AddLLVM....

...ne all of the variables > that the cache is looking for. > > > loading initial cache file ../../code/clang/cmake/caches/BaremetalARM.cmake > > -- Found LLVM_CONFIG as /usr/local/bin/llvm-config > > -- Building with -fPIC > > -- Could NOT find Z3 (missing: Z3_LIBRARIES Z3_INCLUDE_DIR) (Required is at least version "4.5") > > -- Clang version: 4.0.1 > > CMake Error at /usr/local/llvm40/lib/cmake/llvm/LLVM-Config.cmake:203 (message): > > Library `BinaryFormat' not found in list of llvm libraries. > > Call Stack (most recent call first): &g...

Does LLVM 8 work in macOS 10.9.5? -- Mark

On Thu, Aug 03, 2017 at 08:22:24AM -0600, Jonathan Roelofs wrote: > IIUC, you don't want to cross compile llvm itself (which is what those > instructions are for), but instead you want to *use* llvm to cross compile > things. > > To build your sysroot, you'll need to cross-build: > > 1) A libc. Good choices for that for baremetal are: newlib or musl. > 2)