mirror of
https://gitlab.com/libeigen/eigen.git
synced 2024-12-21 07:19:46 +08:00
37 lines
964 B
Bash
37 lines
964 B
Bash
|
#!/bin/bash
|
||
|
|
||
|
# base name of the bench
|
||
|
# it reads $1.out
|
||
|
# and generates $1.pdf
|
||
|
WHAT=$1
|
||
|
|
||
|
header="rev "
|
||
|
while read line
|
||
|
do
|
||
|
if [ ! -z '$line' ]; then
|
||
|
header="$header \"$line\""
|
||
|
fi
|
||
|
done < settings.txt
|
||
|
|
||
|
echo $header > $WHAT.out.header
|
||
|
cat $WHAT.out >> $WHAT.out.header
|
||
|
|
||
|
|
||
|
echo "set title '$WHAT'" > $WHAT.gnuplot
|
||
|
echo "set key autotitle columnhead outside " >> $WHAT.gnuplot
|
||
|
echo "set xtics rotate 1" >> $WHAT.gnuplot
|
||
|
|
||
|
echo "set term pdf color rounded enhanced fontscale 0.35 size 7in,5in" >> $WHAT.gnuplot
|
||
|
echo set output "'"$WHAT.pdf"'" >> $WHAT.gnuplot
|
||
|
|
||
|
col=`cat settings.txt | wc -l`
|
||
|
echo "plot for [col=2:$col+1] '$WHAT.out.header' using 0:col:xticlabels(1) with lines" >> $WHAT.gnuplot
|
||
|
echo " " >> $WHAT.gnuplot
|
||
|
|
||
|
gnuplot -persist < $WHAT.gnuplot
|
||
|
|
||
|
# generate a png file
|
||
|
# convert -background white -density 120 -rotate 90 -resize 800 +dither -colors 256 -quality 0 $WHAT.ps -background white -flatten .$WHAT.png
|
||
|
|
||
|
# clean
|
||
|
rm $WHAT.out.header $WHAT.gnuplot
|