#!/bin/sh 

# format,
#   runall clean
#   runall run

progname=$(basename $0)

if [ $# -eq 0 ]; then
    echo "Usage: $progname (clean|setup|run)" >&2;
    exit 1
fi

ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
export ABAC_PROVER_PATH

for i in `ls -1 `; do
   if ( file $i | grep -Fq directory ); then
       cd $i;
       if [ "$1" = "clean" ]; then
           rm -rf ../allout.tmp
           printf "\n ==> CLEANING on %s\n" "$i" >& 2 ;
           rm -rf *.der *.pem *.cn *.sha
       elif [ "$1" = "setup" ]; then
           printf "\n ==> SETUP on %s\n" "$i"  >& 2;
           ./README
       elif [ "$1" = "run" ] ; then
           if(file run_test | grep -vq ERROR); then
               printf "\n ==> RUN on %s\n" "$i" >& 2;
               ./run_test
           fi
       fi 
       cd ..;
   fi
done