osiris/flake.nix at main · OsirisRTOS/osiris · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
{
    description = "Osiris devshell flake";

    inputs = {
        nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
        rust-overlay.url = "github:oxalica/rust-overlay";
        flake-utils.url = "github:numtide/flake-utils";
        nix-tools.url = "github:gleachkr/nix-tools";
    };

    outputs =
        {
            self,
            nixpkgs,
            rust-overlay,
            flake-utils,
            nix-tools,
            ...
        }:
        flake-utils.lib.eachDefaultSystem (
            system:
            let
                overlays = [ (import rust-overlay) ];
                pkgs = import nixpkgs {
                    inherit system overlays;
                };
            in
            {
                devShells.default = pkgs.mkShell {
                    buildInputs = with pkgs; [
                        just
                        gcc-arm-embedded
                        python313
                        python313Packages.cmake
                        python313Packages.pyelftools
                        (rust-bin.stable.latest.default.override {
                            extensions = [
                                "cargo"
                                "llvm-tools"
                                "rust-analysis"
                                "rust-analyzer"
                                "rust-docs"
                                "rustfmt"
                            ];
                            targets = [
                                "thumbv7em-none-eabi"
                            ];
                        })
                        cargo-binutils
                        llvm
                        clang
                        glibc_multi
                        ninja
                        nix-tools.packages.${pkgs.system}.kani

                        stlink
                    ];

                    shellHook = ''
                        export LIBCLANG_PATH=${pkgs.llvmPackages.libclang.lib}/lib
                    '';
                };
            }
        );
}