diff options
Diffstat (limited to 'playground/gdb-calculate.sh')
| -rwxr-xr-x | playground/gdb-calculate.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/playground/gdb-calculate.sh b/playground/gdb-calculate.sh new file mode 100755 index 0000000..f2bf64b --- /dev/null +++ b/playground/gdb-calculate.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +set -e + +. $(dirname -- "$0")/env.sh + +PYTHON_BIN="$($PYTHON -c "import sys; print(sys.executable)")" + + +cd $ROOT_PATH +doit clean_all +doit json_schema_repo c + +cd $RUN_PATH +exec gdb --directory $ROOT_PATH \ + --command $RUN_PATH/gdb-calculate.gdb \ + --args $PYTHON_BIN -m opcut calculate \ + --method forward_greedy_native \ + --output $RUN_PATH/result.json \ + $RUN_PATH/params.json |
