#!/bin/sh
for i in $*
do
 if [ -d $i ]; then
    cd $i
    csum=0
    lsum=0
    for file in ` ls *.prf ` 
    do
    	perl /home/cj/Diss/PVS/hw/prfparser.pm < $file > /tmp/pvs.statistik.tmp
	cmds=`grep "<cmd>" /tmp/pvs.statistik.tmp | grep -v "\-TCC" | wc -l `
        lemmas=`grep "<proof" /tmp/pvs.statistik.tmp | grep -v "_TCC" | wc -l `
        echo $i $file $cmds $lemmas
        csum=` expr $csum + $cmds `
        lsum=` expr $lsum + $lemmas `
    done
    echo Context $i: $csum commands for $lsum lemmas
    cd ..
  fi
done