perilus

commit 54d18300e6406428c988f68127399eebdbc01bd9
parent 0ff5ee0b476932d3445f3204e9e990cb38ac6f90
Author: Bradley Gannon <bradley@bradleygannon.com>
Date:   Sun, 12 Jul 2026 20:42:23 -0400

Replace shell.nix with flake.nix

Diffstat:
A
flake.lock
 | 
27
+++++++++++++++++++++++++++
A
flake.nix
 | 
32
++++++++++++++++++++++++++++++++
D
shell.nix
 | 
19
-------------------

3 files changed, 59 insertions(+), 19 deletions(-)
diff --git a/flake.lock b/flake.lock
@@ -0,0 +1,27 @@
+{
+  "nodes": {
+    "root": {
+      "inputs": {
+        "stable-pkgs": "stable-pkgs"
+      }
+    },
+    "stable-pkgs": {
+      "locked": {
+        "lastModified": 1783703440,
+        "narHash": "sha256-O3/YajjWo001VUIgD8BwaRdSNLUFe7nZ1qV5TwhRBcw=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "8f0500b9660505dc3cb647775fe9a978a74b5283",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "ref": "nixos-26.05",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
@@ -0,0 +1,32 @@
+{
+  description = "A RISC-V RV32I processor written with Chisel as a learning exercise";
+
+  inputs = {
+    stable-pkgs.url = "github:nixos/nixpkgs?ref=nixos-26.05";
+  };
+
+  outputs =
+    { self, stable-pkgs }:
+    let
+      system = "x86_64-linux";
+      stable = import stable-pkgs {
+        inherit system;
+      };
+    in
+    {
+      devShells.${system}.default = stable.mkShellNoCC {
+        packages = with stable; [
+          act
+          coursier
+          gtkwave
+          jdk21
+          just
+          llvm
+          metals
+          sbt
+          typst
+          verilator
+        ];
+      };
+    };
+}
diff --git a/shell.nix b/shell.nix
@@ -1,19 +0,0 @@
-let
-  nixpkgs = fetchTarball "https://github.com/NixOS/nixpkgs/tarball/nixos-25.11";
-  pkgs = import nixpkgs { config = {}; overlays = []; };
-in
-
-pkgs.mkShellNoCC {
-  packages = with pkgs; [
-    act
-    coursier
-    gtkwave
-    jdk21
-    just
-    llvm
-    metals
-    sbt
-    typst
-    verilator
-  ];
-}