From a551f5cb0d2808738ae0e8bfe9b5e9be5a08372d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20B=C3=B6hm?= Date: Wed, 5 Jun 2024 14:15:10 +0200 Subject: [PATCH] Removes phasar-cli from vara install check. --- varats/varats/tools/research_tools/vara.py | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) 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(