| 1 | #!/usr/bin/env bash
|
| 2 |
|
| 3 | : ${LIB_OSH=stdlib/osh}
|
| 4 | source $LIB_OSH/bash-strict.sh
|
| 5 | source $LIB_OSH/task-five.sh
|
| 6 |
|
| 7 | REPO_ROOT=$(cd "$(dirname $0)/.."; pwd)
|
| 8 | readonly REPO_ROOT
|
| 9 |
|
| 10 | source build/common.sh
|
| 11 | source build/dev-shell.sh
|
| 12 |
|
| 13 | compile_one() {
|
| 14 | in=$1
|
| 15 | local base=$(basename -s .dl $in)
|
| 16 | local out="prebuilt/datalog/${base}.cc"
|
| 17 |
|
| 18 | souffle -g - -I $REPO_ROOT/mycpp/datalog $in > $out
|
| 19 | }
|
| 20 |
|
| 21 | compile_all() {
|
| 22 | compile_one mycpp/datalog/call-graph.dl
|
| 23 | compile_one mycpp/datalog/dataflow.dl
|
| 24 | compile_one deps/source.medo/souffle/smoke-test.dl
|
| 25 | }
|
| 26 |
|
| 27 | task-five "$@"
|