mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-23 05:15:30 +00:00
Code Activity

Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys.

Browse source
This commit is contained in:
whitequark 2020-07-11 05:28:19 +00:00
parent b172357161
commit 287e33a47f
2 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
sbysrc/sby_core.py
View file

@ -220,10 +220,11 @@ class SbyJob:
self.total_time = 0
self.expect = []
yosys_program_prefix = "" ##yosys-program-prefix##
self.exe_paths = {
"yosys": os.getenv("YOSYS", "yosys"),
"abc": os.getenv("ABC", "yosys-abc"),
"smtbmc": os.getenv("SMTBMC", "yosys-smtbmc"),
"yosys": os.getenv("YOSYS", yosys_program_prefix + "yosys"),
"abc": os.getenv("ABC", yosys_program_prefix + "yosys-abc"),
"smtbmc": os.getenv("SMTBMC", yosys_program_prefix + "yosys-smtbmc"),
"suprove": os.getenv("SUPROVE", "suprove"),
"aigbmc": os.getenv("AIGBMC", "aigbmc"),
"avy": os.getenv("AVY", "avy"),