#!/usr/bin/env bash

# We reuse the gdb pythonstartup script.
PYTHONSTARTUP=$SAGE_ROOT/local/bin/sage-gdb-pythonstartup
export PYTHONSTARTUP
echo $PYTHONSTARTUP
if [ ! -d "$HOME/.sage/valgrind" ]; then
    mkdir "$HOME/.sage/valgrind"
fi
LOG="$HOME"/.sage/valgrind/sage-omega.%p
echo "Log file is $LOG"
valgrind --tool=exp-omega --trace-children=yes \
         --log-file="$LOG"  python -i
