diff options
| -rw-r--r-- | users/grfn/system/home/machines/yeren.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/users/grfn/system/home/machines/yeren.nix b/users/grfn/system/home/machines/yeren.nix index 6ffa02a57c..9a7a561b5e 100644 --- a/users/grfn/system/home/machines/yeren.nix +++ b/users/grfn/system/home/machines/yeren.nix @@ -12,6 +12,7 @@ in ../modules/desktop.nix ../modules/development/agda.nix ../modules/development/readyset.nix + ../modules/development/ocaml.nix ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix); # for when hacking |