bluespec: remove all-packages.nix definition

2025-12-26 19:42:20 -05:00
parent dee6e0af21
commit da56e42183
2 changed files with 2 additions and 5 deletions
@@ -17,7 +17,8 @@
  yices, # bsc uses a patched version of yices
  zlib,
  ghc,
-  gmp-static,
+  gmp,
+  gmp-static ? gmp.override { withStatic = true; },
  iverilog,
  asciidoctor,
  texliveFull,
@@ -4153,10 +4153,6 @@ with pkgs;
    inherit (python3Packages) filecheck;
  };

-  bluespec = callPackage ../by-name/bl/bluespec/package.nix {
-    gmp-static = gmp.override { withStatic = true; };
-  };
-
  codon = callPackage ../development/compilers/codon {
    inherit (llvmPackages) lld stdenv;
  };