Fix up gmp properly

home.nix

@@ -4,9 +4,10 @@ let username = "Patrick"; in
 let dotnet = pkgs.dotnet-sdk_6; in
 
 {
-  imports = [ ./rider ];
+  imports = [ ./rider ./gmp ];
 
   rider = { enable = true; username = username; dotnet = dotnet; };
+  gmp-symlink = { enable = true; };
 
   # Let Home Manager install and manage itself.
   programs.home-manager.enable = true;
@@ -32,6 +33,7 @@ let dotnet = pkgs.dotnet-sdk_6; in
       pkgs.wget
       pkgs.youtube-dl
       pkgs.cmake
+      pkgs.gnumake
       pkgs.gcc
       pkgs.gdb
       pkgs.hledger
@@ -48,6 +50,7 @@ let dotnet = pkgs.dotnet-sdk_6; in
       pkgs.hugo
       #pkgs.agda
       pkgs.pijul
+      pkgs.universal-ctags
     ];
 
   programs.vscode = {
@@ -96,6 +99,7 @@ let dotnet = pkgs.dotnet-sdk_6; in
       vim = "nvim";
       view = "vim -R";
       nix-upgrade = "sudo -i sh -c 'nix-channel --update && nix-env -iA nixpkgs.nix && launchctl remove org.nixos.nix-daemon && launchctl load /Library/LaunchDaemons/org.nixos.nix-daemon.plist'";
+      cmake = "cmake -DCMAKE_MAKE_PROGRAM=${pkgs.gnumake}/bin/make";
     };
   };
 
@@ -135,6 +139,7 @@ let dotnet = pkgs.dotnet-sdk_6; in
   programs.neovim.enable = true;
   programs.neovim.plugins = with pkgs.vimPlugins; [
     molokai
+    tagbar
     { plugin = rust-vim;
       config = "let g:rustfmt_autosave = 1"; }
     { plugin = syntastic;