| 1 | #!/usr/bin/env bash |
| 2 | # |
| 3 | # Run Souffle smoke test. |
| 4 | |
| 5 | set -o nounset |
| 6 | set -o pipefail |
| 7 | set -o errexit |
| 8 | |
| 9 | REPO_ROOT=$(cd "$(dirname $0)/.."; pwd) |
| 10 | |
| 11 | soil-run() { |
| 12 | ninja _bin/datalog/smoke-test |
| 13 | pushd $REPO_ROOT/_tmp |
| 14 | $REPO_ROOT/_bin/datalog/smoke-test |
| 15 | sort path.tsv | diff -u - $REPO_ROOT/deps/source.medo/souffle/path.expected.tsv |
| 16 | popd |
| 17 | } |
| 18 | |
| 19 | "$@" |