#!/bin/sh
f="`echo "$1"|sed 's/^\(.*\)\.pl$/\1/'`"
if [ "$1" != "$f.pl" ];then echo "$0: *.pl [profile]";exit;fi
sed -e 's/^dbg_ln(M):.*$//' -e 's/dbg_ln([^)]*),//g' -e 's/,dbg_ln([^)]*)\././g' -e 's/:-dbg_ln([^)]*)\././g' <"$1" >"${f}_.pl"
if [ $# = 1 ];then x="go"
              else x="profile('go','plain',40)"
fi
time pl -f none -O -t "consult('${f}_.pl'),$x" -L200M -G200M -T200M