Compare commits

...

3 Commits

Author SHA1 Message Date
Nathan McCarty 526cb2c209
Nix build settings on mac 2023-03-27 20:08:06 -04:00
Nathan McCarty dbaf21d658
Add virtualization utilities 2023-03-27 20:05:12 -04:00
Nathan McCarty ffe4a6c26b
Enable idris2 on mac 2023-03-27 19:50:58 -04:00
4 changed files with 14 additions and 2 deletions

View File

@ -83,7 +83,7 @@ with nLib; {
(mkIf devel.idris2 { (mkIf devel.idris2 {
home.packages = with pkgs; [ home.packages = with pkgs; [
inputs.idris2.packages."${pkgs.system}".idris2 inputs.idris2.packages."${pkgs.system}".idris2
chez # chez
gmp gmp
rlwrap rlwrap
]; ];

View File

@ -5,4 +5,9 @@
nathan = { config = { isDesktop = true; }; }; nathan = { config = { isDesktop = true; }; };
# Setup home manager # Setup home manager
home-manager.users.nathan = import ./home.nix; home-manager.users.nathan = import ./home.nix;
# Configure nix build
nix.settings = {
cores = 8;
max-jobs = 2;
};
} }

View File

@ -5,7 +5,7 @@
programs = { programs = {
util = { git = { gpgSign = false; }; }; util = { git = { gpgSign = false; }; };
devel = { devel = {
idris2 = false; idris2 = true;
haskell = false; haskell = false;
js = false; js = false;
raku = false; raku = false;

View File

@ -28,6 +28,9 @@ in {
enable = mkDefaultOption "Communication applications" enable = mkDefaultOption "Communication applications"
config.nathan.config.isDesktop; config.nathan.config.isDesktop;
}; };
# Virtualization
virtualization =
mkDefaultOption "Virtualization" config.nathan.config.isDesktop;
}; };
}; };
}; };
@ -68,6 +71,10 @@ in {
}; };
casks = lib.mkMerge [ casks = lib.mkMerge [
(lib.mkIf config.nathan.programs.firefox [{ name = "firefox"; }]) (lib.mkIf config.nathan.programs.firefox [{ name = "firefox"; }])
(lib.mkIf config.nathan.programs.virtualization [
{ name = "crossover"; }
{ name = "utm"; }
])
(lib.mkIf config.nathan.programs.communications.enable [ (lib.mkIf config.nathan.programs.communications.enable [
{ name = "discord"; } { name = "discord"; }
{ name = "betterdiscord-installer"; } { name = "betterdiscord-installer"; }