diff options
author | Karel Kočí <cynerd@email.cz> | 2022-06-11 22:36:26 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2022-06-11 22:36:26 +0200 |
commit | dce47feee03117cb0b9596e2cd30b3d467afddbb (patch) | |
tree | 95e48127b3f0b99f9852aff5fc2bd53460839d4e /develop | |
parent | cc80b8780d1ba104e355dbe3697f6679b81cad50 (diff) | |
download | nixos-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.nix | 5 | ||||
-rw-r--r-- | develop/riscv.nix | 23 |
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; +} |