aboutsummaryrefslogtreecommitdiff
path: root/develop
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2022-06-11 22:36:26 +0200
committerKarel Kočí <cynerd@email.cz>2022-06-11 22:36:26 +0200
commitdce47feee03117cb0b9596e2cd30b3d467afddbb (patch)
tree95e48127b3f0b99f9852aff5fc2bd53460839d4e /develop
parentcc80b8780d1ba104e355dbe3697f6679b81cad50 (diff)
downloadnixos-personal-dce47feee03117cb0b9596e2cd30b3d467afddbb.tar.gz
nixos-personal-dce47feee03117cb0b9596e2cd30b3d467afddbb.tar.bz2
nixos-personal-dce47feee03117cb0b9596e2cd30b3d467afddbb.zip
Add development to spawn quickly shells
Diffstat (limited to 'develop')
-rw-r--r--develop/default.nix5
-rw-r--r--develop/riscv.nix23
2 files changed, 28 insertions, 0 deletions
diff --git a/develop/default.nix b/develop/default.nix
new file mode 100644
index 0000000..5f880dc
--- /dev/null
+++ b/develop/default.nix
@@ -0,0 +1,5 @@
+{ nixpkgs, shellrc, system }: {
+
+ riscv = import ./riscv.nix { inherit nixpkgs; inherit shellrc; inherit system; };
+
+}
diff --git a/develop/riscv.nix b/develop/riscv.nix
new file mode 100644
index 0000000..ded7859
--- /dev/null
+++ b/develop/riscv.nix
@@ -0,0 +1,23 @@
+{ nixpkgs, shellrc, system }:
+let
+ pkgs = nixpkgs.legacyPackages.${system};
+ pkgs-riscv = import nixpkgs.outPath {
+ localSystem = system;
+ crossSystem = {
+ config = "riscv32-none-elf";
+ libc = "newlib";
+ gcc = {
+ arch = "rv32i";
+ };
+ };
+ };
+
+in pkgs.mkShell {
+ packages = (with pkgs; [
+ qtrvsim
+ ]) ++ (with pkgs-riscv.buildPackages; [
+ gcc pkg-config
+ ]);
+ inputsFrom = [ shellrc.packages.${system}.default ];
+ meta.platforms = nixpkgs.lib.platforms.linux;
+}