mirror of https://github.com/antmicro/sargraph.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
67 lines
1.5 KiB
67 lines
1.5 KiB
#!/usr/bin/env python3 |
|
|
|
# |
|
# (c) 2019-2022 Antmicro <www.antmicro.com> |
|
# License: Apache-2.0 |
|
# |
|
|
|
|
|
import os |
|
import subprocess |
|
import sys |
|
import re |
|
|
|
|
|
# Increase major number for general changes, middle number for smaller changes |
|
# that can cause incompatibilities and minor number for regular fixes |
|
SARGRAPH_VERSION = "2.0.0" |
|
|
|
|
|
# Print an error message and exit with non-zero status |
|
def fail(msg): |
|
print(f"Error: {msg}", file=sys.stderr) |
|
sys.exit(1) |
|
|
|
|
|
# Run process, return subprocess object on success, exit script on failure |
|
def run_or_fail(*argv, **kwargs): |
|
try: |
|
p = subprocess.Popen(argv, **kwargs) |
|
except: |
|
fail(f"'{argv[0]}' tool not found") |
|
return p |
|
|
|
|
|
# Check if a process is running |
|
def pid_running(pid): |
|
return os.path.exists(f"/proc/{pid}") |
|
|
|
|
|
# Convert a string to float, also when the separator is a comma |
|
def stof(s): |
|
return float(s.replace(',', '.')) |
|
|
|
|
|
# Get the first group from a given match and convert to required type |
|
def scan(regex, conv, string): |
|
match = re.search(regex, string) |
|
if not match: |
|
return None |
|
try: |
|
value = conv(match.group(1)) |
|
except ValueError: |
|
return None |
|
return value |
|
|
|
|
|
# Return True iff version string `a` is greater than or equal to `b` |
|
def is_version_ge(a, b): |
|
a = [int(n) for n in a.split('.')] |
|
b = [int(n) for n in b.split('.')] |
|
|
|
if len(a) != len(b): |
|
return len(a) > len(b) |
|
for i, _ in enumerate(a): |
|
if a[i] != b[i]: |
|
break |
|
return a[i] >= b[i]
|
|
|