pkgs/build-support/lake/setup-hook.sh


1
2
3
4
5
6
7
8

addLeanPath() {
    local buildLib="$1/.lake/build/lib/lean"
    if [ -d "$buildLib" ]; then
        addToSearchPath LEAN_PATH "$buildLib"
    fi
}

addEnvHooks "$hostOffset" addLeanPath