From db0e5f36376c5771bb576c2da6e6795432cebb8e Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Sun, 5 Jul 2020 10:20:35 +0000
Subject: [PATCH] Inject executable dependencies from the environment

---
 sbysrc/sby_core.py | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 4686d68..4ec2ab3 100644
--- 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 = []
-- 
2.30.2