max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

test: "fix" library loading issues

Browse source
This commit is contained in:
tydeu 2022-06-25 17:07:52 -04:00
parent 3200b43371
commit c4580839b5
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
examples/ffi/test.sh
View file

@ -5,4 +5,5 @@ set -e
./app/build/bin/app
./lib/build/bin/test
${LAKE:-../../build/bin/lake} -d app build Test
cd app # Library loading needs this; TODO: fix this
${LAKE:-../../../build/bin/lake} build Test