mirror of
https://gitlab.com/libeigen/eigen.git
synced 2024-12-15 07:10:37 +08:00
53 lines
929 B
Bash
53 lines
929 B
Bash
#! /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
|
|
##echo hello world
|
|
##echo "mk_mean_script1" ${FILE}
|
|
BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat}
|
|
|
|
##echo "mk_mean_script1" ${TITLE}
|
|
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 '<h3>'${WHAT}'</h3>' >> $webpagefilename
|
|
echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>' >> $webpagefilename
|
|
|
|
fi
|
|
|
|
rm -R $WORK_DIR
|
|
|
|
|
|
|
|
|
|
|
|
|