#!/usr/bin/env bash
set -eu
export LD_PRELOAD=/tmp/omega-lean-toolchain/self_exe.so
export PATH=/tmp/omega-lean-toolchain/lean-4.19.0-linux/bin:$PATH
exec lake "$@"