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.
15 lines
585 B
15 lines
585 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
|
|
|
|
experiment_directory=$(pwd)
|
|
project_directory=$(cd ../.. && pwd)
|
|
binary_directory=$(cd "$project_directory"/bin && pwd)
|
|
|
|
export LD_LIBRARY_PATH="$binary_directory:$LD_LIBRARY_PATH"
|
|
export PATH="$binary_directory:$PATH"
|
|
|
|
SLEDGE_NWORKERS=5 SLEDGE_SCHEDULER=EDF perf record -g -s sledgert "$experiment_directory/spec.json"
|