Skip to content

Commit

Permalink
deal with cases where VAL is not installed
Browse files Browse the repository at this point in the history
  • Loading branch information
FlorianPommerening committed Jul 23, 2024
1 parent f95a79b commit becd892
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions driver/run_components.py
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,9 @@
REL_SEARCH_PATH = Path(f"downward{BINARY_EXT}")
# Older versions of VAL use lower case, newer versions upper case. We prefer the
# older version because this is what our build instructions recommend.
VALIDATE = Path(shutil.which(f"validate{BINARY_EXT}") or
shutil.which(f"Validate{BINARY_EXT}"))
_VALIDATE_NAME = (shutil.which(f"validate{BINARY_EXT}") or
shutil.which(f"Validate{BINARY_EXT}"))
VALIDATE = Path(_VALIDATE_NAME) if _VALIDATE_NAME else None


def get_executable(build: str, rel_path: Path):
Expand Down

0 comments on commit becd892

Please sign in to comment.