Nix build settings on mac

home-manager/common/programs/devel.nix

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

machines/extremophile/configuration.nix

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

machines/extremophile/home.nix

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

modules/darwin/default.nix

@@ -28,6 +28,9 @@ in {
             enable = mkDefaultOption "Communication applications"
               config.nathan.config.isDesktop;
           };
+          # Virtualization
+          virtualization =
+            mkDefaultOption "Virtualization" config.nathan.config.isDesktop;
         };
       };
     };
@@ -68,6 +71,10 @@ in {
       };
       casks = lib.mkMerge [
         (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 [
           { name = "discord"; }
           { name = "betterdiscord-installer"; }