From 3c92a5abf8489c753a45ac9f11d841c421e36058 Mon Sep 17 00:00:00 2001 From: Aspen Smith Date: Mon, 29 Jan 2024 17:20:59 -0500 Subject: feat(grfn/system): Add an ocaml home module Change-Id: Ie61b506751e3829f101fac5d1da4173c8f349f0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/10708 Tested-by: BuildkiteCI Reviewed-by: aspen Autosubmit: aspen --- users/grfn/system/home/machines/ogopogo.nix | 1 + users/grfn/system/home/modules/development/ocaml.nix | 17 +++++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 users/grfn/system/home/modules/development/ocaml.nix 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; + }; +} -- cgit 1.4.1