rachel/nixos-config
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add agda as flake

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2023-10-12 23:24:36 +02:00
parent 4a734f2eaf
commit 4f65cde626
4 changed files with 65 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
flake.lock
View File

@ -2,26 +2,22 @@
"nodes": { "nodes": {
"agda": { "agda": {
"inputs": { "inputs": {
"flake-utils": [ "flake-utils": "flake-utils",
"cornelis",
"flake-utils"
],
"nixpkgs": [ "nixpkgs": [
"cornelis",
"nixpkgs" "nixpkgs"
] ]
}, },
"locked": { "locked": {
"lastModified": 1691269274, "lastModified": 1696540558,
"narHash": "sha256-50AftPkM7m51KjvWZM2c1jqxXu6k3HNuYMh5WnCkuFc=", "narHash": "sha256-fqYyjgOFQrU4ryGcLyz5gMYMdPk1P24ra7kQiUrbilg=",
"owner": "agda", "owner": "agda",
"repo": "agda", "repo": "agda",
"rev": "d4e6bf47156784efc1e74d0f0f2eeadc90a5611b", "rev": "f42acb696e43d382639f04f869e9a99ab36a91c6",
"type": "github" "type": "github"
}, },
"original": { "original": {
"owner": "agda", "owner": "agda",
"ref": "v2.6.3.20230805", "ref": "v2.6.4",
"repo": "agda", "repo": "agda",
"type": "github" "type": "github"
} }
@ -44,10 +40,12 @@
}, },
"cornelis": { "cornelis": {
"inputs": { "inputs": {
"agda": "agda", "agda": [
"agda"
],
"agda-stdlib-source": "agda-stdlib-source", "agda-stdlib-source": "agda-stdlib-source",
"flake-compat": "flake-compat", "flake-compat": "flake-compat",
"flake-utils": "flake-utils", "flake-utils": "flake-utils_2",
"nixpkgs": "nixpkgs" "nixpkgs": "nixpkgs"
}, },
"locked": { "locked": {
@ -81,6 +79,21 @@
} }
}, },
"flake-utils": { "flake-utils": {
"locked": {
"lastModified": 1678901627,
"narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
"owner": "numtide",
"repo": "flake-utils",
"rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
"type": "github"
},
"original": {
"owner": "numtide",
"repo": "flake-utils",
"type": "github"
}
},
"flake-utils_2": {
"inputs": { "inputs": {
"systems": "systems" "systems": "systems"
}, },
@ -121,11 +134,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1696419054, "lastModified": 1697009197,
"narHash": "sha256-EdR+dIKCfqL3voZUDYwcvgRDOektQB9KbhBVcE0/3Mo=", "narHash": "sha256-viVRhBTFT8fPJTb1N3brQIpFZnttmwo3JVKNuWRVc3s=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "7131f3c223a2d799568e4b278380cd9dac2b8579", "rev": "01441e14af5e29c9d27ace398e6dd0b293e25a54",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -153,6 +166,7 @@
}, },
"root": { "root": {
"inputs": { "inputs": {
"agda": "agda",
"cornelis": "cornelis", "cornelis": "cornelis",
"home-manager": "home-manager", "home-manager": "home-manager",
"nixpkgs": "nixpkgs_2" "nixpkgs": "nixpkgs_2"

56
flake.nix
View File

@ -6,48 +6,54 @@
nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.05"; nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.05";
home-manager.url = "github:nix-community/home-manager/release-23.05"; home-manager.url = "github:nix-community/home-manager/release-23.05";
home-manager.inputs.nixpkgs.follows = "nixpkgs"; home-manager.inputs.nixpkgs.follows = "nixpkgs";
agda.url = "github:agda/agda/v2.6.4";
agda.inputs.nixpkgs.follows = "nixpkgs";
cornelis.url = "github:isovector/cornelis"; cornelis.url = "github:isovector/cornelis";
cornelis.inputs.agda.follows = "agda";
}; };
outputs = { self, nixpkgs, home-manager, cornelis }: { outputs = { self, nixpkgs, home-manager, agda, cornelis }:
let nix-config-module =
nixosConfigurations.lambda = nixpkgs.lib.nixosSystem {
system = "x86_64-linux";
modules = [
{ {
nix.registry.nixpkgs.flake = nixpkgs; nix.registry.nixpkgs.flake = nixpkgs;
system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev; system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev;
} };
./lambda/configuration.nix rachel-home-module =
home-manager.nixosModules.home-manager ({ pkgs, ... }:
({ pkgs, ...}: { let system = pkgs.stdenv.system;
in {
home-manager = { home-manager = {
useGlobalPkgs = true; useGlobalPkgs = true;
useUserPackages = true; useUserPackages = true;
users.rachel = import ./home/rachel.nix { users.rachel = import ./home/rachel.nix {
inherit cornelis pkgs; pkgs = pkgs;
agda = agda.packages.${system}.Agda;
cornelis = cornelis.packages.${system}.cornelis;
cornelis-vim = cornelis.packages.${system}.cornelis-vim;
}; };
}; };
}) }
]; );
}; in
{
nixosConfigurations.computational = nixpkgs.lib.nixosSystem { nixosConfigurations.lambda = nixpkgs.lib.nixosSystem rec {
system = "x86_64-linux"; system = "x86_64-linux";
modules = [ modules = [
{ nix-config-module
nix.registry.nixpkgs.flake = nixpkgs; ./lambda/configuration.nix
system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev; home-manager.nixosModules.home-manager
} rachel-home-module
];
};
nixosConfigurations.computational = nixpkgs.lib.nixosSystem rec {
system = "x86_64-linux";
modules = [
nix-config-module
./computational/configuration.nix ./computational/configuration.nix
home-manager.nixosModules.home-manager home-manager.nixosModules.home-manager
{ rachel-home-module
home-manager = {
useGlobalPkgs = true;
useUserPackages = true;
users.rachel = import ./home/rachel.nix;
};
}
]; ];
}; };

6
home/rachel.nix
View File

@ -1,4 +1,4 @@
{ pkgs, cornelis, ... }: { pkgs, cornelis, cornelis-vim, agda, ... }:
let username = "rachel"; let username = "rachel";
homeDir = "/home/${username}"; homeDir = "/home/${username}";
SAX2 = pkgs.fetchurl { SAX2 = pkgs.fetchurl {
@ -77,7 +77,7 @@ in
rmapi rmapi
lutris lutris
texlive.combined.scheme-full texlive.combined.scheme-full
cornelis.packages.x86_64-linux.cornelis cornelis
]; ];
stateVersion = "23.05"; stateVersion = "23.05";
}; };
@ -220,7 +220,7 @@ in
lightline-vim lightline-vim
lightline-gruvbox-vim lightline-gruvbox-vim
tmux-nvim tmux-nvim
cornelis.packages.x86_64-linux.cornelis-vim cornelis-vim
]; ];
}; };

1
lambda/configuration.nix
View File

@ -93,6 +93,7 @@
}; };
}; };
nixpkgs.config.allowUnfree = true; nixpkgs.config.allowUnfree = true;
# [DESKTOP / XORG / WAYLAND] # [DESKTOP / XORG / WAYLAND]