#!/bin/bash

set -e

CVSROOT=$(cat CVS/Root)

branch=tableaux-www-branch

dir=cut-eli

wwwdir=/home/tews/www/alfa-www/askra-root/science/coalgebraic-cut


rm -rf /tmp/tews/$dir
mkdir -p /tmp/tews/cut-eli

pushd /tmp/tews/$dir

cvs -d $CVSROOT export -r $branch -d $dir coq_projects/coalgebraic_cut_elim

pushd $dir

rm -rf admit-proofs Comments Index log.data log.gp tools

(cd .. ; tar -czf $dir.tgz $dir )


echo
echo ======================================================================
echo ======================================================================
echo ======= run coqchk?
read answer

if [  ${answer:=n} = y -o $answer = Y ] ; then
    make check
fi


echo
echo ======================================================================
echo ======================================================================
echo ======= generate doc

make -j $(getconf _NPROCESSORS_ONLN) all
make doc

popd
#back to /tmp/tews/$dir

echo
echo ======================================================================
echo ======================================================================
echo ======= copy to $wwwdir ?
read answer


if [  ${answer:=y} = n -o $answer = N ] ; then
    exit 0
fi

mkdir -p $wwwdir
cp $dir.tgz $wwwdir

pushd $dir/doc

cp content.html $wwwdir

rm -rf $wwwdir/html
cp -a html $wwwdir


echo
echo ======================================================================
echo ======================================================================
echo ======= update askra?
read answer

if [  ${answer:=y} = n -o $answer = N ] ; then
    exit 0
fi

(cd /home/tews/www; ./update-www -web

popd
#back to /tmp/tews/$dir


popd
#back to start dir