24bef91f9a
This PR removes the Makefile-based Lake test runner and replaces it with `run_test.sh` and `run_clean.sh`. These are still not designed for use with the `with_*.sh` runners, but this a step closer to that eventuality. It also adds a line to `CLAUDE.md` informing Claude how to build and run a single Lake test.
13 lines
297 B
Bash
Executable file
13 lines
297 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
# Ensure this runs from the lake test directory
|
|
cd -- "$(dirname -- "${BASH_SOURCE[0]}")"
|
|
|
|
# Build `LAKE` from this directory or use the provided one
|
|
LAKE=${LAKE:-$(lake query lake)}
|
|
|
|
# Run the test
|
|
TEST_DIR="$1"; shift
|
|
cd "$TEST_DIR"
|
|
$LAKE env bash test.sh
|