You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
25 lines
781 B
25 lines
781 B
#!/bin/bash
|
|
# Executes the runtime in GDB
|
|
# Substitutes the absolute path from the container with a path relatively derived from the location of this script
|
|
# This allows debugging outside of the Docker container
|
|
# Also disables pagination and stopping on SIGUSR1
|
|
|
|
declare project_path="$(
|
|
cd "$(dirname "$1")/../.."
|
|
pwd
|
|
)"
|
|
path=`pwd`
|
|
echo $project_path
|
|
cd $project_path/runtime/bin
|
|
#export SLEDGE_DISABLE_PREEMPTION=true
|
|
#export SLEDGE_SANDBOX_PERF_LOG=$path/srsf.log
|
|
export SLEDGE_NWORKERS=1
|
|
export LD_LIBRARY_PATH="$(pwd):$LD_LIBRARY_PATH"
|
|
#gdb --eval-command="handle SIGUSR1 nostop" \
|
|
# --eval-command="set pagination off" \
|
|
# --eval-command="set substitute-path /sledge/runtime $project_path/runtime" \
|
|
# --eval-command="run ../tests/fib.json"
|
|
# ./sledgert
|
|
|
|
gdb ./sledgert
|