source: examples/creddy_prover_tests/.runall @ 2cdbe49

#!/bin/sh 

# format,
#   runall clean
#   runall setup
#   runall run

progname=$(basename $0)
pwd=`pwd`

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


UID=`id | sed -e 's/ .*//' | sed -e 's/.*(//' | sed -e 's/)//'`
if [ $UID = "mei" ]; then
    ABAC_PROVER_PATH="../../../libabac"
    else
    ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
fi
export ABAC_PROVER_PATH

for i in `ls -1 `; do
   if [ -d $i ]; then
       cd $i
       if [ "$1" = "clean" ]; then
           rm -rf ../allout.sha ../allout.cn
           printf "\n ==> CLEANING on %s\n" "$i" >& 2 ;
           rm -rf *.der *.pem creds_dump
       elif [ "$1" = "setup" ]; then
           printf "\n ==> SETUP on %s\n" "$i"  >& 2;
           ./README
       elif [ "$1" = "run" ] ; then
           printf "\n ==> RUN on %s\n" "$i" ;
           ./run_query 
       fi 
       cd $pwd
   fi
done