mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-29 16:35:51 +00:00
Code Activity

Merge pull request #99 from whitequark/patch-1

Browse source 
Inject executable dependencies from the environment
This commit is contained in:
clairexen 2020-07-09 18:18:09 +02:00 • committed by GitHub
commit cddfebe029
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

16
sbysrc/sby_core.py
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 = []