search

secure-software-engineering / phasar

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

Cleanup Build #673

Closed fabianbs96 closed 8 months ago

fabianbs96 commented 9 months ago

PhASAR's CMakeLists are highly redundant making them sometimes hard to understand. This PR is a collection of minor changes that aim to improve the cmake build scripts and the CI as well as other minor build-related issues.