colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #308512 from sequencer/circt174

Browse Source 
circt: 1.73 -> 1.74
This commit is contained in:
Nick Cao 2024-05-07 10:37:11 -04:00 committed by GitHub
commit beb40906b8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/circt/circt-llvm.nix
View File

@ -23,7 +23,7 @@
"-DLLVM_BUILD_EXAMPLES=OFF" "-DLLVM_BUILD_EXAMPLES=OFF"
"-DLLVM_OPTIMIZED_TABLEGEN=ON" "-DLLVM_OPTIMIZED_TABLEGEN=ON"
"-DLLVM_ENABLE_PROJECTS=mlir" "-DLLVM_ENABLE_PROJECTS=mlir"
"-DLLVM_TARGETS_TO_BUILD=" "-DLLVM_TARGETS_TO_BUILD=Native"
# This option is needed to install llvm-config # This option is needed to install llvm-config
"-DLLVM_INSTALL_UTILS=ON" "-DLLVM_INSTALL_UTILS=ON"

7
pkgs/development/compilers/circt/default.nix
View File

@ -7,6 +7,7 @@
, fetchFromGitHub , fetchFromGitHub
, ninja , ninja
, lit , lit
, z3
, gitUpdater , gitUpdater
, callPackage , callPackage
}: }:
@ -17,18 +18,18 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "circt"; pname = "circt";
version = "1.73.0"; version = "1.74.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "llvm"; owner = "llvm";
repo = "circt"; repo = "circt";
rev = "firtool-${version}"; rev = "firtool-${version}";
hash = "sha256-C50PiToXrKf94Vg1yv++3xVhIuCW/KVPs0yLv5Fg0dY="; hash = "sha256-RFvWUd98OiL2I3aFrP61LQRZr4FSKrrZ5YOblBKRCA4=";
fetchSubmodules = true; fetchSubmodules = true;
}; };
requiredSystemFeatures = [ "big-parallel" ]; requiredSystemFeatures = [ "big-parallel" ];
nativeBuildInputs = [ cmake ninja git pythonEnv ]; nativeBuildInputs = [ cmake ninja git pythonEnv z3 ];
buildInputs = [ circt-llvm ]; buildInputs = [ circt-llvm ];
cmakeFlags = [ cmakeFlags = [