10 lines
435 B
Bash
Executable File
10 lines
435 B
Bash
Executable File
#!/usr/bin/env bash
|
|
if [ "$#" -ne 1 ]; then
|
|
echo "Usage: $0 path/to/mlochbaum/BQN"
|
|
exit
|
|
fi
|
|
make heapverify && echo 'heapverify:' && ./BQN -M 1000 "$1/test/this.bqn" -noerr bytecode header identity literal namespace prim simple syntax token under undo unhead || exit
|
|
make rtverify && echo 'rtverify:' && ./BQN -M 1000 "$1/test/this.bqn" || exit
|
|
make CC=gcc c && echo 'gcc:' && ./BQN -M 1000 "$1/test/this.bqn" || exit
|
|
|