From 1324b23f0d5a91a8a8ac0f5688da89f3b22f4c73 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Mon, 17 Mar 2025 23:25:00 -0700
Subject: [PATCH] opam and pack config

---
 zsh/.config/zsh/.zprofile | 2 ++
 zsh/.config/zsh/.zshrc    | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/zsh/.config/zsh/.zprofile b/zsh/.config/zsh/.zprofile
index 9b9bb5b..f941bb2 100644
--- a/zsh/.config/zsh/.zprofile
+++ b/zsh/.config/zsh/.zprofile
@@ -28,6 +28,7 @@ export CARGO_HOME="$XDG_DATA_HOME/cargo"
 export GPG_TTY="$(tty)"
 export STACK_XDG=1
 export GHCUP_USE_XDG_DIRS=true
+export OPAMROOT="$XDG_DATA_HOME/opam"
 export JULIA_DEPOT_PATH="$XDG_DATA_HOME/julia:$JULIA_DEPOT_PATH"
 export JUPYTER_CONFIG_DIR="$XDG_CONFIG_HOME/jupyter"
 export RUSTUP_HOME="$XDG_DATA_HOME/rustup"
@@ -37,3 +38,4 @@ export AGDA_DIR="$HOME/.config/agda"
 export PACK_DIR="$HOME/.local/share/pack"
 export MIZFILES="$HOME/.local/share/mizar"
 export RLWRAP_HOME="$XDG_DATA_HOME/rlwrap"
+export PACK_DIR="$XDG_DATA_HOME/pack"
diff --git a/zsh/.config/zsh/.zshrc b/zsh/.config/zsh/.zshrc
index 8afaa7e..a103ba0 100644
--- a/zsh/.config/zsh/.zshrc
+++ b/zsh/.config/zsh/.zshrc
@@ -44,6 +44,9 @@ zstyle ':completion:*' matcher-list 'm:{a-zA-Z}={A-Za-z}'
 source /usr/share/zsh/plugins/zsh-syntax-highlighting/zsh-syntax-highlighting.zsh
 source /usr/share/zsh/plugins/zsh-autosuggestions/zsh-autosuggestions.zsh
 
+# setup ocaml stuff
+[[ ! -r '/home/wball/.local/share/opam/opam-init/init.zsh' ]] || source '/home/wball/.local/share/opam/opam-init/init.zsh' > /dev/null 2> /dev/null
+
 # zoxide
 eval "$(zoxide init zsh)"