search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
919 stars 140 forks source link

function(phasar_config executable) is not executed in phasarConfig.cmake #693

Closed yuffon closed 6 months ago

yuffon commented 6 months ago

I use phasar as a library.

The definition of function(phasar_config executable) in phasarConfig.cmake is not executed because PHASAR_FOUND is not set.

fabianbs96 commented 6 months ago

Hi @yuffon, you are right, we accidentally broke the phasar_config function. https://github.com/secure-software-engineering/phasar/tree/f-FixLegacyPhasarConfig should fix this. However, using phasar_config is not the recommended way of using phasar anymore anyway. https://github.com/secure-software-engineering/phasar/blob/f-FixLegacyPhasarConfig/examples/use-phasar-as-library/CMakeLists.txt shows some examples