13 lines
318 B
Bash
Executable File
13 lines
318 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Run the pinned Calepin CLI from tools/, bootstrapping the toolchain on demand.
|
|
set -euo pipefail
|
|
|
|
root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
|
|
|
if [ ! -x "$root/tools/calepin" ]; then
|
|
"$root/scripts/bootstrap.sh"
|
|
fi
|
|
|
|
export PATH="$root/tools:$PATH"
|
|
exec "$root/tools/calepin" "$@"
|