From 5b9cc61406872202855933ba94882cbd30fd15ae Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Thu, 22 Aug 2024 14:28:11 +0200
Subject: [PATCH] fixup! stash

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index c5a50abd940..90fa5328c09 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,7 +14,7 @@
         };
         # TODO: don't override src when ./abc is empty
         # which happens when the command used is `nix build` and not `nix build ?submodules=1`
-        abc-verifier = pkgs.abc-verifier;
+        abc-verifier = pkgs.abc-verifier.overrideAttrs(x: y: {src = ./abc;});
         yosys = pkgs.clangStdenv.mkDerivation {
           name = "yosys";
           src = ./. ;