CeDOS - flake.nix

flake.nix (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
{
  inputs =
    {
      nixpkgs.url = "github:NixOS/nixpkgs/2d2a9ddbe3f2c00747398f3dc9b05f7f2ebb0f53"; # nixpkgs-unstable as of 2024-10-31T18:10+01:00
      #cedos-gcc.url = "file:///home/dersuchmann/i686-elf-gcc-12.2.0.tar.gz";
      #cedos-gcc.flake = false;
    }
  ;

  outputs = { self, nixpkgs }@inputs:
    let
      system = "x86_64-linux";
      pkgs = nixpkgs.legacyPackages.${system};
    in
    {
      devShells.${system}.default =
        (import ./shell.nix { inherit pkgs; }); # The value of this expression is a derivation
    }
  ;
}