diff --git a/varats/varats/tools/research_tools/vara.py b/varats/varats/tools/research_tools/vara.py index 15e836119..0cd9f0e5a 100644 --- a/varats/varats/tools/research_tools/vara.py +++ b/varats/varats/tools/research_tools/vara.py @@ -367,7 +367,7 @@ def build( ) def get_install_binaries(self) -> tp.List[str]: - return ["bin/clang++", "bin/opt", "bin/phasar-cli"] + return ["bin/clang++", "bin/opt"] def verify_install(self, install_location: Path) -> bool: """ @@ -386,14 +386,6 @@ def verify_install(self, install_location: Path) -> bool: status_ok &= ret == 0 status_ok &= vara_name in stdout - # Check that phasar-cli can display its version - phasar_cli = local[str(install_location / "bin/phasar-cli")] - ret, stdout, _ = phasar_cli.run("--version") - status_ok &= ret == 0 - - phasar_name = self.code_base.get_sub_project("phasar").name.lower() - status_ok &= phasar_name in stdout.lower() - return status_ok def verify_build(