cronjob.sh revision b7626913d1833e29c887d93a28c0aa0b33e057e2
GHCRTS='-H300m -M1g'
LANG=C
LC_ALL=C
esac
export GHCRTS
export LANG
export LC_ALL
export TAR
export MAKE
hetsdir=\
export hetsdir
export destdir
export outtypes
unset LANG
makeUni ()
{
cd uni
cd ..
}
{
cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co -P programatica/tools/base
cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co -P programatica/tools/property
}
makeHets ()
{
cd Hets
time $MAKE
cd ..
}
# within Hets-lib
{
\cp ../Hets/utils/hetcasl.sty .
}
{
}
{
}
{
}
{
}
checkHasCASL ()
{
}
makeLibCheck ()
{
}
{
}
{
\cp -f ../Hets/utils/hetcasl.sty \
}
{
}
runIsaBasic ()
{
}
{
}
checkIsaOf ()
{
}
checkBins ()
{
time ../Hets/Common/ATerm/ATermDiffMain Basic/LinearAlgebra_II.env \
}
checkCats ()
{
}
makeSources ()
{
cd ..
chmod 664 Hets.tar.gz
}
{
}
runIsaHS ()
{
../../../utils/nightly/runHsIsabelle.sh *.thy > ../../../../isaHs.log 2>&1
cd ../../..
}
makeCofiLib ()
{
cd /tmp
}
repackDocs ()
{
cd $destdir
\rm -f Hets.tar.gz
}
moreChecks ()
{
cd $HETS_LIB
do ./hets -v2 -o th -t CASL2SubCFOL $i; done
do ./hets -v2 -o thy -t CASL2PCFOL:CASL2SubCFOL:CFOL2IsabelleHOL $i; done
}
checkEnvs ()
{
}
checkPrfs ()
{
}
updateOMDoc ()
{
}
{
}