weekly.sh revision a84fcef461d6ef423fa3bdefc29d745bd34cb331
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederHETS_LIB=/local/home/maeder/haskell/CASL-lib
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder# install a newer binary
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder#chgrp linuxbkb hets
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder#\cp -fp hets /home/linux-bkb/bin/
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check differences of *.pp.het and *.pp.pp.het
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder# try consistency check with SPASS
a84fcef461d6ef423fa3bdefc29d745bd34cb331Christian Maeder/local/home/maeder/haskell/runSPASSconsistency.sh
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check other examples
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder do hets -v2 -o prf,th,pp.het,pp.tex $i; done
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederfor i in */*/*.prf; do hets -v2 -o th $i; done