hotfix: compilation failure

AUCOHL · Nov 2, 2024 · 2fda9ad · 2fda9ad
1 parent 988522b
commit 2fda9ad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/Sources/Fault/Entries/chain.swift b/Sources/Fault/Entries/chain.swift
@@ -599,8 +599,6 @@ extension Fault {
       let output = output ?? file.replacingExtension(".nl.v", with: ".chained.v")
       let intermediate = output.replacingExtension(".chained.v", with: ".chain-intermediate.v")
 
-      let includeFiles = Set<String>(inc?.components(separatedBy: ",").filter { !$0.isEmpty } ?? [])
-
       // MARK: Importing Python and Pyverilog
 
       let parse = Python.import("pyverilog.vparser.parser").parse
@@ -729,7 +727,7 @@ extension Fault {
       // MARK: Verification
 
       if let model = cellModel {
-        let models = [model] + Array(includeFiles) + Array(blackboxModels)
+        let models = [model] + Array(includes) + Array(blackboxModels)
 
         print("Verifying scan chain integrity…")
         let ast = parse([netlist])[0]

diff --git a/flake.nix b/flake.nix
@@ -68,7 +68,7 @@
           ];
 
           PYTHON_LIBRARY = "${pyenv}/lib/lib${python3.libPrefix}${stdenvNoCC.hostPlatform.extensions.sharedLibrary}";
-          PYTHONPATH = "${pyenv}/${pyenv.sitePackages}";
+          NIX_PYTHONPATH = "${pyenv}/${pyenv.sitePackages}";
           FAULT_IVL_BASE = "${verilog}/lib/ivl";
         });
       }