Code

Further CMake Improvements#1460

Code

Open

Johanmyst wants to merge 13 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom Johanmyst:cmakeJohanmyst/SVF:cmakeCopy head branch name to clipboard

+845-338

Commits

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…

  Show description for 04d1df1
  Johanmyst

  committed
  04d1df1

  Copy full SHA for 04d1df1

• Installing SVF now places includes in svf/... subdirectories, as is the standard

  Johanmyst

  committed
  7201830

  Copy full SHA for 7201830

• 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

  Johanmyst

  committed
  98d30d4

  Copy full SHA for 98d30d4

• Ensured build artifacts are placed relative to the top-level build tree (i.e. so that libraries and such compiled in svf-llvm are in build_dir/lib, and not in build_dir/svf-llvm/lib)

  Johanmyst

  committed
  64fc715

  Copy full SHA for 64fc715

• Moved cmake files into separate directory; defined installable package for SVF; correctly defined transitive dependencies on Z3 and LLVM in the exported config

  Johanmyst

  committed
  28c1eda

  Copy full SHA for 28c1eda

• Removed unnecessary quotes; ensured SVF is installed into correct subdirectories and that dependent builds find transitive dependencies correctly; enabled LTO; enabled more debugging information to…

  Show description for 588b4ff
  Johanmyst

  committed
  588b4ff

  Copy full SHA for 588b4ff

• 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

  Johanmyst

  committed
  4f06965

  Copy full SHA for 4f06965

• Avoided compiler-specific debugging flags

  Johanmyst

  committed
  0856f54

  Copy full SHA for 0856f54

• Avoided compiler-specific debugging flags

  Johanmyst

  committed
  5790aa7

  Copy full SHA for 5790aa7

• Avoided compiler-specific debugging flags

  Johanmyst

  committed
  227a668

  Copy full SHA for 227a668

• Also applied backwards compatibility of linking Z3 package to configuration cmake file

  Johanmyst

  committed
  842f033

  Copy full SHA for 842f033

• Disabled LTO as it unintentionally hides some symbols (i.e. protected definitions) s.t. inheriting classes can't extend them

  Johanmyst

  committed
  0add1b6

  Copy full SHA for 0add1b6

• Added top-level cmake include directory; for explicit adding include directories if desired

  Johanmyst

  committed
  3b03f1d

  Copy full SHA for 3b03f1d