Inject executable dependencies from the environment

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 4686d682cf5ef9e23e13f27dd84d6dea016ce213..4ec2ab36cfd69c8f35d47a5b4e95932d4a4a8c06 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -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 = []