edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-23 11:12:33 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #374 from ska80/fix-chez017-test

Browse Source 
Fix tests/chez/chez017 test
This commit is contained in:
Edwin Brady 2020-05-15 15:55:35 +01:00 committed by GitHub
commit 7edef68739
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/chez/chez017/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
/expected

2
tests/chez/chez017/expected → tests/chez/chez017/expected.in
View File

@ -1,7 +1,7 @@
File Exists
False
True
Just "/home/edwin/Research/Yaffle/tests/chez/chez017/testdir"
Just "__PWD__/testdir"
1/1: Building dir (dir.idr)
Main> Main> Bye for now!
hello

3
tests/chez/chez017/gen_expected.sh Executable file
View File

@ -0,0 +1,3 @@
#!/usr/bin/env sh
sed -e "s|__PWD__|$(pwd)|g" expected.in > expected

1
tests/chez/chez017/run
View File

@ -1,3 +1,4 @@
./gen_expected.sh
$1 --no-banner dir.idr < input
cat testdir/test.txt
rm -rf build testdir