search

secure-software-engineering / phasar

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

Bootstrap Update #559

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

By default the bootstrap script installs PhASAR system-wide. However, this is oftentimes not desired (also there are problems uninstalling phasar once it is installed -- check #556).

This PR fixes this issue by making install through bootstrap.sh optional (you have to explicitly state --install). Also, the README has been adopted.

MMory commented 1 year ago

lgtm, will merge once CI works again.