maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/cmake
History
Tomasz Kamiński f1ab60e40d Fix FindZ3.cmake to support static libraries and Windows 
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
 		2021-07-29 10:55:44 +02:00
..
modules Fix FindZ3.cmake to support static libraries and Windows 2021-07-29 10:55:44 +02:00
platforms [llvm] Update WinMsvc.cmake's fms-compatability to match llvm's prereqs 2020-12-04 16:35:05 -08:00
README
…
config-ix.cmake [CMake] Add LIBXML2_DEFINITIONS when testing for symbol existance 2021-07-24 09:55:14 +02:00
config.guess [PowerPC] Add the LLVM triple for powerpcle [1/5] 2021-01-02 12:17:22 -06:00
dummy.cpp
…
nsis_icon.ico
…
nsis_logo.bmp
…
unwind.h [CMake][ExecutionEngine] add HAVE_(DE)REGISTER_FRAME as a config.h macros 2020-11-10 13:09:44 -05:00

README 

See docs/CMake.html for instructions on how to build LLVM with CMake.