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 | "$@" |