all: update userenv to include more dev packages

machines/manager/rdma.nix

@@ -12,6 +12,9 @@ with lib;
     serviceConfig = {
       Type = "simple";
       ExecStart = "${pkgs.opensm}/bin/opensm --guid '0x0002c9030052188b'";
+
+      Restart = "on-failure";
+      RestartSec = "5s";
     };
 
     wantedBy = [ "network-online.target" ];

shared/userenv.nix

@@ -23,28 +23,31 @@ let
       git
       gnumake
       hwloc
-      libbfd
-      libiberty
-      libtool
+      (getDev libbfd)
+      (getDev libiberty)
+      (getDev libtool)
       munge
       nano
-      numactl
+      (getBin numactl)
+      (getDev numactl)
       openmpi
       openssh
       pandoc
-      papi
+      (getDev papi)
       perl
       pkg-config
       postgresql
-      postgresql.lib
+      (getDev postgresql)
+      (getLib postgresql)
       python3
       ripgrep
       tmux
-      ucx
+      (getBin ucx)
+      (getDev ucx)
       valgrind
       vim
       wget
-      zlib
+      (getDev zlib)
     ];
 
     ignoreCollisions = false;