diff options
Diffstat (limited to 'pkgs/development/compilers/circt/default.nix')
-rw-r--r-- | pkgs/development/compilers/circt/default.nix | 95 |
1 files changed, 0 insertions, 95 deletions
diff --git a/pkgs/development/compilers/circt/default.nix b/pkgs/development/compilers/circt/default.nix deleted file mode 100644 index a893166082d5..000000000000 --- a/pkgs/development/compilers/circt/default.nix +++ /dev/null @@ -1,95 +0,0 @@ -{ stdenv -, lib -, cmake -, coreutils -, python3 -, git -, fetchFromGitHub -, ninja -, lit -, z3 -, gitUpdater -, callPackage -}: - -let - pythonEnv = python3.withPackages (ps: [ ps.psutil ]); - circt-llvm = callPackage ./circt-llvm.nix { }; -in -stdenv.mkDerivation rec { - pname = "circt"; - version = "1.76.0"; - src = fetchFromGitHub { - owner = "llvm"; - repo = "circt"; - rev = "firtool-${version}"; - hash = "sha256-L8ELchwUzweS1gzZ8EfnddZu5xMJIVURViwwtPpxylo="; - fetchSubmodules = true; - }; - - requiredSystemFeatures = [ "big-parallel" ]; - - nativeBuildInputs = [ cmake ninja git pythonEnv z3 ]; - buildInputs = [ circt-llvm ]; - - cmakeFlags = [ - "-DBUILD_SHARED_LIBS=ON" - "-DMLIR_DIR=${circt-llvm.dev}/lib/cmake/mlir" - - # LLVM_EXTERNAL_LIT is executed by python3, the wrapped bash script will not work - "-DLLVM_EXTERNAL_LIT=${lit}/bin/.lit-wrapped" - "-DCIRCT_LLHD_SIM_ENABLED=OFF" - ]; - - # There are some tests depending on `clang-tools` to work. They are activated only when detected - # `clang-tidy` in PATH, However, we cannot simply put `clang-tools` in checkInputs to make these - # tests work. Because - # - # 1. The absolute paths of binaries used in tests are resolved in configure phase. - # 2. When stdenv = clangStdenv, the `clang-tidy` binary appears in PATH via `clang-unwrapped`, - # which is always placed before `${clang-tools}/bin` in PATH. `clang-tidy` provided in - # `clang-unwrapped` cause tests failing because it is not wrapped to resolve header search paths. - # https://github.com/NixOS/nixpkgs/issues/214945 discusses this issue. - # - # As a temporary fix, we disabled these tests when using clang stdenv - # cannot use lib.optionalString as it creates an empty string, disabling all tests - LIT_FILTER_OUT = if stdenv.cc.isClang then "CIRCT :: Target/ExportSystemC/.*\.mlir" else null; - - preConfigure = '' - find ./test -name '*.mlir' -exec sed -i 's|/usr/bin/env|${coreutils}/bin/env|g' {} \; - # circt uses git to check its version, but when cloned on nix it can't access git. - # So this hard codes the version. - substituteInPlace cmake/modules/GenVersionFile.cmake --replace "unknown git version" "${src.rev}" - ''; - - doCheck = true; - checkTarget = "check-circt check-circt-integration"; - - outputs = [ "out" "lib" "dev" ]; - - # Copy circt-llvm's postFixup stage so that it can make all our dylib references - # absolute as well. - # - # We don't need `postPatch` because circt seems to be automatically inheriting - # the config somehow, presumably via. `-DMLIR_DIR`. - postFixup = circt-llvm.postFixup; - - postInstall = '' - moveToOutput lib "$lib" - ''; - - passthru = { - updateScript = gitUpdater { - rev-prefix = "firtool-"; - }; - llvm = circt-llvm; - }; - - meta = { - description = "Circuit IR compilers and tools"; - homepage = "https://circt.org/"; - license = lib.licenses.asl20; - maintainers = with lib.maintainers; [ sharzy pineapplehunter ]; - platforms = lib.platforms.all; - }; -} |