test: use $LAKE everywhere

2021-09-21 13:17:45 +02:00 · 2021-09-21 13:17:45 +02:00 · abd617b9a5
commit abd617b9a5
parent dfa959ba30
12 changed files with 17 additions and 17 deletions
--- a/examples/Makefile
+++ b/examples/Makefile
@ -1,4 +1,4 @@
-LAKE := ../build/bin/lake
+LAKE ?= ../build/bin/lake

 all: check-lake test time-bootstrap check-bootstrap test-bootstrapped

--- a/examples/bootstrap/check.sh
+++ b/examples/bootstrap/check.sh
@ -1,4 +1,4 @@
 set -ex

-./build/bin/lake --version
-./build/bin/lake self-check
+${LAKE:-./build/bin/lake} --version
+${LAKE:-./build/bin/lake} self-check
--- a/examples/bootstrap/package.sh
+++ b/examples/bootstrap/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin
--- a/examples/deps/package.sh
+++ b/examples/deps/package.sh
@ -1,3 +1,3 @@
 cd foo
 echo "in directory 'foo'"
-../../../build/bin/lake build-bin
+${LAKE:-../../../build/bin/lake} build-bin
--- a/examples/ffi-dep/package.sh
+++ b/examples/ffi-dep/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin
--- a/examples/ffi/package.sh
+++ b/examples/ffi/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin
--- a/examples/git/package.sh
+++ b/examples/git/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin
--- a/examples/hello/bootstrapped-test.sh
+++ b/examples/hello/bootstrapped-test.sh
@ -1,3 +1,3 @@
 ./clean.sh
-../bootstrap/build/bin/lake build-bin
+${LAKE:-../bootstrap/build/bin/lake} build-bin
 ./build/bin/hello
--- a/examples/hello/package.sh
+++ b/examples/hello/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin
--- a/examples/init/test.sh
+++ b/examples/init/test.sh
@ -4,11 +4,11 @@ set -ex

 # Test `new`

-../../build/bin/lake new helloNew
+${LAKE:-../../build/bin/lake} new helloNew

 cd helloNew
 test -f lean-toolchain
-../../../build/bin/lake build-bin
+${LAKE:-../../../build/bin/lake} build-bin
 ./build/bin/helloNew
 cd ..

@ -17,10 +17,10 @@ cd ..
 mkdir helloInit

 cd helloInit
-../../../build/bin/lake init helloInit
-../../../build/bin/lake build-bin
+${LAKE:-../../../build/bin/lake} init helloInit
+${LAKE:-../../../build/bin/lake} build-bin
 ./build/bin/helloInit

 # Test `init` on existing package (should error)

-../../../build/bin/lake init helloInit && exit 1 || true
+${LAKE:-../../../build/bin/lake} init helloInit && exit 1 || true
--- a/examples/io/package.sh
+++ b/examples/io/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin -- --foo
+${LAKE:-../../build/bin/lake} build-bin -- --foo
--- a/examples/main/package.sh
+++ b/examples/main/package.sh
@ -1 +1 @@
-../../build/bin/lake build-bin
+${LAKE:-../../build/bin/lake} build-bin