#!/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