30 lines
706 B
Plaintext
30 lines
706 B
Plaintext
#
|
|
# Startup script for running SECONDOTTY in optimizer mode
|
|
|
|
VALGRIND_STD_OPTIONS=" --num-callers=25 --suppressions=../bin/vgs.txt --error-limit=no "
|
|
SEC=../bin/SecondoBDB
|
|
|
|
if [ "$1" == "--valgrind" ]; then
|
|
shift
|
|
runner="valgrind $VALGRIND_STD_OPTIONS $SEC"
|
|
else
|
|
if [ "$1" == "--valgrindlc" ]; then
|
|
shift
|
|
runner="valgrind $VALGRIND_STD_OPTIONS --leak-check=full $SEC"
|
|
else
|
|
if [ "$1" == "--profile" ]; then
|
|
shift
|
|
runner="valgrind --tool=callgrind --dump-instr=yes --trace-jump=yes $SEC"
|
|
else
|
|
runner="$SEC"
|
|
fi
|
|
fi
|
|
fi
|
|
|
|
if [ $(swipl --help 2>&1 | grep stack-limit | wc -l) -gt 0 ]; then
|
|
$runner -pl $* pl -g true --stack-limit=256M
|
|
else
|
|
$runner -pl -L256M -G256M $* pl -g true
|
|
fi
|
|
|