forked from OSchip/llvm-project
f1ab60e40d
Use absolute path to link z3 to allow builds both on windows and linux since the library name is platform dependent for Z3 (libz3 on Windows and z3 on Linux) and MSVC does not recognized -L and -l options. Fix CMAKE_CROSSCOMPILING that does not work correctly since it uses Z3_BUILD_VERSION instead of Z3_BUILD_NUMBER Fix building with the static version of z3 library (supersedes D80227). - Build the Z3 version detection code as C++, since the static library brings in libstdc++ symbols - Detect threading support and link against threading, in the (likely) case Z3 was built with threads Exposed compilation error from building a program that is used to detect z3 version in the warning message, to simplify troubleshooting. Reviewed By: JDevlieghere Differential Revision: https://reviews.llvm.org/D106131 |
||
|---|---|---|
| .. | ||
| AddLLVM.cmake | ||
| AddLLVMDefinitions.cmake | ||
| AddOCaml.cmake | ||
| AddSphinxTarget.cmake | ||
| CMakeLists.txt | ||
| CheckAtomic.cmake | ||
| CheckCompilerVersion.cmake | ||
| ChooseMSVCCRT.cmake | ||
| CrossCompile.cmake | ||
| DetermineGCCCompatible.cmake | ||
| FindGRPC.cmake | ||
| FindLibpfm.cmake | ||
| FindOCaml.cmake | ||
| FindSphinx.cmake | ||
| FindZ3.cmake | ||
| GenerateVersionFromVCS.cmake | ||
| GetErrcMessages.cmake | ||
| GetHostTriple.cmake | ||
| GetLibraryName.cmake | ||
| HandleLLVMOptions.cmake | ||
| HandleLLVMStdlib.cmake | ||
| LLVM-Build.cmake | ||
| LLVM-Config.cmake | ||
| LLVMCheckLinkerFlag.cmake | ||
| LLVMConfig.cmake.in | ||
| LLVMConfigVersion.cmake.in | ||
| LLVMDistributionSupport.cmake | ||
| LLVMExternalProjectUtils.cmake | ||
| LLVMInstallSymlink.cmake | ||
| LLVMProcessSources.cmake | ||
| TableGen.cmake | ||
| TensorFlowCompile.cmake | ||
| UseLibtool.cmake | ||
| VersionFromVCS.cmake | ||