3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 06:04:06 +00:00

Inject executable dependencies from the environment

This commit is contained in:
whitequark 2020-07-05 10:20:35 +00:00 committed by GitHub
parent 06e80194c7
commit db0e5f3637
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -221,14 +221,14 @@ class SbyJob:
self.expect = []
self.exe_paths = {
"yosys": "yosys",
"abc": "yosys-abc",
"smtbmc": "yosys-smtbmc",
"suprove": "suprove",
"aigbmc": "aigbmc",
"avy": "avy",
"btormc": "btormc",
"pono": "pono",
"yosys": os.getenv("YOSYS", "yosys"),
"abc": os.getenv("ABC", "yosys-abc"),
"smtbmc": os.getenv("SMTBMC", "yosys-smtbmc"),
"suprove": os.getenv("SUPROVE", "suprove"),
"aigbmc": os.getenv("AIGBMC", "aigbmc"),
"avy": os.getenv("AVY", "avy"),
"btormc": os.getenv("BTORMC", "btormc"),
"pono": os.getenv("PONO", "pono"),
}
self.tasks_running = []