18 lines
401 B
Bash
Executable File
18 lines
401 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)"
|
|
|
|
exe=""
|
|
case "$(uname -s)" in
|
|
MINGW*|MSYS*|CYGWIN*) exe=".exe" ;;
|
|
esac
|
|
|
|
if [ ! -x "$root/tools/calepin$exe" ]; then
|
|
"$root/scripts/bootstrap.sh"
|
|
fi
|
|
|
|
export PATH="$root/tools:$PATH"
|
|
exec "$root/tools/calepin$exe" "$@"
|