#! /bin/sh
EXT=$1
himml -c timesplot.ml
mv timesplot.mlx tplot
chmod +x tplot

PLOT=times.$EXT.plot
TBL=times.$EXT.tex
echo >$PLOT
echo -n >$TBL
echo "set grid" >>$PLOT
echo "set style fill pattern" >>$PLOT
echo "set data style boxes" >>$PLOT
echo "set logscale x 2" >>$PLOT
echo "set nologscale y" >>$PLOT
echo "set yrange [-10:]" >>$PLOT
CATS=`(cd tptp; ls)`
CMD=
PASTFILES=
PLOTS=
for i in $CATS
do
  echo -n "$i & " >>$TBL
  ./tplot tptp/$i/*.bench.$EXT >tptp/$i/times.$EXT 2>>$TBL
  echo " %STUB:$i" >>$TBL
  PASTFILES="$PASTFILES tptp/$i/*.bench.$EXT"
  ./tplot $PASTFILES >tptp/$i/cumul_times.$EXT 2>>/dev/null
  PLOTS="\"tptp/$i/cumul_times.$EXT\" title \"$i\"$CMD$PLOTS"
  CMD=", "
done
echo -n "plot $PLOTS" >>$PLOT
#if (echo $EXT | grep -q h1)
#then
#  echo ", '-' notitle with candlesticks" >>$PLOT
#  echo "0.10 300" >>$PLOT # in fact starting time is 0.12, but first notch on x-axis is at 0.105112
#  echo e >>$PLOT
#else
  echo >>$PLOT
#fi
PBCOUNTS=`grep -v % $TBL | cut -d"&" -f1`
TIMES=`grep -v % $TBL | cut -d"&" -f2`
echo "\\hline" >>$TBL
echo -n "Total & " >>$TBL
echo -n `emacs -batch --no-site-file --eval "(print (+ $PBCOUNTS))"` >>$TBL
echo -n " & " >>$TBL
echo -n `emacs -batch --no-site-file --eval "(print (+ $TIMES))"` >>$TBL
echo " &&&& \\\\" >>$TBL

himml -c memplot.ml
mv memplot.mlx mplot
chmod +x mplot

PLOT=mem.$EXT.plot
echo >$PLOT
echo "set grid" >>$PLOT
echo "set style fill pattern" >>$PLOT
echo "set data style boxes" >>$PLOT
echo "set logscale x 2" >>$PLOT
echo "set nologscale y" >>$PLOT
echo "set xrange [10:]" >>$PLOT
echo "set yrange [-10:]" >>$PLOT
CATS=`(cd tptp; ls)`
CMD=
TMP=tmp$$
PASTFILES=
PLOTS=
for i in $CATS
do
  ./mplot tptp/$i/*.bench.$EXT >tptp/$i/mem.$EXT 2>$TMP
  # add two columns: mean memory consumption (Mb), standard deviation.
  NEWCOLS=`grep -v % $TMP | cut -d"&" -f2-3 | sed -e "s/&/\\\\\&/"` #escape & for sed below
  NEWCOLS="\\& $NEWCOLS \\\\\\\\"
  sed $TBL -e "s/%STUB:$i/$NEWCOLS/" >$TMP
  mv $TMP $TBL
  PASTFILES="$PASTFILES tptp/$i/*.bench.$EXT"
  ./mplot $PASTFILES >tptp/$i/cumul_mem.$EXT 2>>/dev/null
  PLOTS="\"tptp/$i/cumul_mem.$EXT\" using (\$1/1024):2 title \"$i\"$CMD$PLOTS"
  CMD=", "
done
echo -n "plot $PLOTS" >>$PLOT
#if (echo $EXT | grep -q h1)
#then
#  echo ", '-' notitle with candlesticks" >>$PLOT
#  echo "11.3 300" >>$PLOT # in fact starting space is 12072KB, i.e. 11.7891 Mb, but first notch on x-axis is at 11.3137
#  echo e >>$PLOT
#else
  echo >>$PLOT
#fi
sed $TBL -e "s/cart-type/cart-type \& mem. moyenne \& \\\\'ecart-type/" >$TMP
mv $TMP $TBL

PLOT=bars.$EXT.plot
echo >$PLOT
echo "set grid" >>$PLOT
echo "set style fill solid 0.8" >>$PLOT
echo "set data style boxes" >>$PLOT
echo "set boxwidth 0.1" >>$PLOT
echo "set nologscale x" >>$PLOT
CATS=`(cd tptp; ls)`
NCATS=`echo $CATS | wc -w`
#echo "set xrange [0:$((NCATS+1))]" >>$PLOT
#echo "set yrange [0:300]" >>$PLOT
CMD="plot"
j=0
for i in $CATS
do
  echo -n "$CMD '-' title \"$i\"" >>$PLOT
  CMD=","
done
echo >>$PLOT
for i in $CATS
do
  j=$((j+1))
  #echo $i
  echo $j.0 `ls tptp/$i/*.h1.p | wc -l` >>$PLOT
  echo $j.1 `grep -l Killed tptp/$i/*.bench.$EXT | wc -l` >>$PLOT
  echo $j.2 `grep -l NoMem tptp/$i/*.bench.$EXT | wc -l` >>$PLOT
  echo e >>$PLOT
done