flake.lock

@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1743689281,
+        "lastModified": 1735821806,
-        "narHash": "sha256-y7Hg5lwWhEOgflEHRfzSH96BOt26LaYfrYWzZ+VoVdg=",
+        "narHash": "sha256-cuNapx/uQeCgeuhUhdck3JKbgpsml259sjUQnWM7zW8=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "2bfc080955153be0be56724be6fa5477b4eefabb",
+        "rev": "d6973081434f88088e5321f83ebafe9a1167c367",
         "type": "github"
       },
       "original": {

flake.nix

@@ -34,27 +34,7 @@
                   # Versions can be checked with
                   # `nix eval --json ".#riscv-bluespec-classic.nativeBuildInputs" | nix-shell -p jq --run jq`
                   nativeBuildInputs = [
-                    (
+                    bluespec
-                      (bluespec.override {
-                        makeWrapper = prev.makeBinaryWrapper;
-                        withDocs = false;
-                        texliveFull = null;
-                        asciidoctor = null;
-                      }).overrideAttrs
-                      {
-                        doCheck = false;
-
-                        postFixup = ''
-                          # https://github.com/B-Lang-org/bsc/blob/65e3a87a17f6b9cf38cbb7b6ad7a4473f025c098/src/comp/bsc.hs#L1839
-                          wrapProgram $out/bin/core/bsc \
-                            --prefix PATH : ${
-                              prev.lib.makeBinPath (
-                                if stdenv.hostPlatform.isDarwin then [ prev.cctools ] else [ prev.targetPackages.stdenv.cc ]
-                              )
-                            }
-                        '';
-                      }
-                    )
                     nextpnr
                     openfpgaloader
                     trellis