#!/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-massif.%p
echo "Log file is $LOG"
valgrind --tool=massif --trace-children=yes --depth=6 \
         --log-file="$LOG"  python -i
