Further CMake Improvements #1460
Commits on Jun 3, 2024
-
CMake structure for svf/svf-llvm now the same as it was for svf-llvm/…
…tools; defined CMake package so that SVF can be imported with find_package(SVF); fixed definition of install directory to not be hardcoded but based on location of CMake package; miscellaneous improvements
-
The git tests look for extapi.bc in the release-build folder because …
…they don't use install() yet; ensure extapi.bc is compiled to the right place to support this
-
Ensured build artifacts are placed relative to the top-level build tr…
…ee (i.e. so that libraries and such compiled in svf-llvm are in build_dir/lib, and not in build_dir/svf-llvm/lib)
-
Moved cmake files into separate directory; defined installable packag…
…e for SVF; correctly defined transitive dependencies on Z3 and LLVM in the exported config
-
Removed unnecessary quotes; ensured SVF is installed into correct sub…
…directories and that dependent builds find transitive dependencies correctly; enabled LTO; enabled more debugging information to make errors when using SVF much clearer; minor tweaks
-
The GitHub actions use a Z3 instance that isn't 'installed' so CMake …
…can't find the Z3 package in the default way; add backwards compatibility for this older installation method
-
-
-
-
Also applied backwards compatibility of linking Z3 package to configu…
…ration cmake file
-
Disabled LTO as it unintentionally hides some symbols (i.e. protected…
… definitions) s.t. inheriting classes can't extend them
-
Added top-level cmake include directory; for explicit adding include …
…directories if desired
