diff options
| author | Aspen Smith <root@gws.fyi> | 2024-01-29T22·20-0500 |
|---|---|---|
| committer | aspen <root@gws.fyi> | 2024-01-30T17·28+0000 |
| commit | 3c92a5abf8489c753a45ac9f11d841c421e36058 (patch) | |
| tree | 45238946d05bc365b08fd628338804be2d1dbd75 | |
| parent | 82d2a37f12d0e7e3f084a9d793319a55b56898c7 (diff) | |
feat(grfn/system): Add an ocaml home module r/7458
Change-Id: Ie61b506751e3829f101fac5d1da4173c8f349f0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/10708 Tested-by: BuildkiteCI Reviewed-by: aspen <root@gws.fyi> Autosubmit: aspen <root@gws.fyi>
| -rw-r--r-- | users/grfn/system/home/machines/ogopogo.nix | 1 | ||||
| -rw-r--r-- | users/grfn/system/home/modules/development/ocaml.nix | 17 |
2 files changed, 18 insertions, 0 deletions
diff --git a/users/grfn/system/home/machines/ogopogo.nix b/users/grfn/system/home/machines/ogopogo.nix index 763efa2e308a..22ef65bb73d2 100644 --- a/users/grfn/system/home/machines/ogopogo.nix +++ b/users/grfn/system/home/machines/ogopogo.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); programs.home-manager.enable = true; diff --git a/users/grfn/system/home/modules/development/ocaml.nix b/users/grfn/system/home/modules/development/ocaml.nix new file mode 100644 index 000000000000..5dcdd8980e47 --- /dev/null +++ b/users/grfn/system/home/modules/development/ocaml.nix @@ -0,0 +1,17 @@ +{ config, lib, pkgs, ... }: + +{ + home.packages = with pkgs; [ + ocaml + + # ocamlPackages.merlin + # ocamlPackages.utop + # ocamlPackages.ocp-indent + # ocamlPackages.ocamlformat + ]; + + programs.opam = { + enable = true; + enableZshIntegration = true; + }; +} |