Removes phasar-cli from vara install check. (#888)

se-sic · Sep 3, 2024 · e06a5a0 · e06a5a0
1 parent 7c26386
commit e06a5a0
Showing 1 changed file with 1 addition and 9 deletions.
diff --git 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(