From 13a6920491a01b492e35c8981a856b14ca83f3e7 Mon Sep 17 00:00:00 2001 From: Roland Coeurjoly Date: Tue, 21 May 2024 12:50:23 +0200 Subject: [PATCH] Change customYosys to yosys --- flake.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.nix b/flake.nix index 26c21cc89..1e2023246 100644 --- a/flake.nix +++ b/flake.nix @@ -15,7 +15,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.overrideAttrs(x: y: {src = ./abc;}); - customYosys = pkgs.clangStdenv.mkDerivation { + yosys = pkgs.clangStdenv.mkDerivation { name = "yosys"; src = ./. ; buildInputs = with pkgs; [ clang bison flex libffi tcl readline python3 llvmPackages.libcxxClang zlib git pkg-configUpstream ]; @@ -38,8 +38,8 @@ }; }; in { - packages.default = customYosys; - defaultPackage = customYosys; + packages.default = yosys; + defaultPackage = yosys; devShell = pkgs.mkShell { buildInputs = with pkgs; [ clang bison flex libffi tcl readline python3 llvmPackages.libcxxClang zlib git gtest abc-verifier ]; };