secure-software-engineering / phasar

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

How to Uninstall Phasar in Ubuntu 22. #555

Closed VenoVeno closed 1 year ago

VenoVeno commented 1 year ago

How to Uninstall Phasar once installed in Ubuntu 22. Uninstall all installed package through the script?

Command used to install:

sudo ./bootstrap.sh
fabianbs96 commented 1 year ago

Hi @VenoVeno, it seems that phasar does not provide an uninstall target in cmake. We will add it to our todo list. To uninstall phasar, you need to remove the installed files. Assuming, your install-prefix is /usr/local (which should be the default on your system), you need to delete:

Phasar also installs boost, nlohmann_json and nlohmann_json_schema_validator. If you want to uninstall them as well, you can do so in a similar way.