|
|
#! /bin/bash |
|
|
WHAT=$1 |
|
|
DIR=$2 |
|
|
MINIC=$3 |
|
|
MAXIC=$4 |
|
|
MINOC=$5 |
|
|
MAXOC=$6 |
|
|
prefix=$8 |
|
|
|
|
|
meanstatsfilename=$2/mean.html |
|
|
|
|
|
WORK_DIR=tmp |
|
|
mkdir $WORK_DIR |
|
|
|
|
|
DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}` |
|
|
|
|
|
if [ -n "$DATA_FILE" ]; then |
|
|
|
|
|
echo "" |
|
|
echo "$1..." |
|
|
for FILE in $DATA_FILE |
|
|
do |
|
|
|
|
|
|
|
|
BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat} |
|
|
|
|
|
|
|
|
cp $FILE ${WORK_DIR}/${TITLE} |
|
|
|
|
|
done |
|
|
|
|
|
cd $WORK_DIR |
|
|
../main $1 $3 $4 $5 $6 * >> ../$meanstatsfilename |
|
|
../mk_new_gnuplot.sh $1 $2 $7 |
|
|
rm -f *.gnuplot |
|
|
cd .. |
|
|
|
|
|
echo '<br/>' >> $meanstatsfilename |
|
|
|
|
|
webpagefilename=$2/index.html |
|
|
|
|
|
echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>' >> $webpagefilename |
|
|
|
|
|
fi |
|
|
|
|
|
rm -R $WORK_DIR |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|