weekly.sh revision 11ad38296d4182aac74ce6d5bef27911fbc9690d
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen#!/bin/bash -x
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom GundersenPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom GundersenHETS_LIB=/local/home/maeder/haskell/CASL-lib
c6f7c917a1b494d4455800823472227463f87438Tom Gundersen
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersenexport PATH
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersenexport HETS_LIB
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersencd $HETS_LIB
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen# check differences of *.pp.het and *.pp.pp.het
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersenmkdir pp1
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersencp Basic/*.pp.het pp1/
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen\rm -f Basic/*.env
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersen./hets -v2 -o pp.het Basic/*.pp.het
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersenmkdir pp2
c0dda18697e0994272c0c9616d36f6777b60e2c7Tom Gundersenmv Basic/*.pp.pp.het pp2/
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidiff pp1 pp2
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani\rm -rf pp1 pp2
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani# check other examples
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidate
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanifor i in */*/*.het */*/*.casl; \
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani do ./hets -v2 -o prf,th,pp.het,pp.tex $i; done
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidate
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanifor i in */*/*.prf; do ./hets -v2 -o th $i; done
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidate
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani# try consistency check with SPASS
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani./hets -v2 -o dfg.c Basic/*.casl
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidate
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani/local/home/maeder/haskell/runSPASSconsistency.sh > /dev/null
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahanidate
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani# install a newer binary
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani#chgrp linuxbkb hets
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani#\cp -fp hets /home/linux-bkb/bin/
4f2e437ad7b04bc0690d1f8202577cbf47acb215Susant Sahani