weekly.sh revision c3ba67c693ad8799b8a70d54ec7d337edc026e28
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder#!/bin/bash -x
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederHETS_LIB=/local/home/maeder/haskell/CASL-lib
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederexport PATH
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederexport HETS_LIB
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maedercd $HETS_LIB
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder# install a newer binary
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder#chgrp linuxbkb hets
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder#\cp -fp hets /home/linux-bkb/bin/
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check differences of *.pp.het and *.pp.pp.het
c3ba67c693ad8799b8a70d54ec7d337edc026e28Christian Maedercat Basic/*.pp.het > pp1.txt
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder\rm -f Basic/*.env
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederhets -v2 -o pp.het Basic/*.pp.het
c3ba67c693ad8799b8a70d54ec7d337edc026e28Christian Maedercat Basic/*.pp.pp.het > pp2.txt
a84fcef461d6ef423fa3bdefc29d745bd34cb331Christian Maederdiff pp1.txt pp2.txt
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder# try consistency check with SPASS
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederhets -v2 -o dfg.c Basic/*.casl
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederdate
a84fcef461d6ef423fa3bdefc29d745bd34cb331Christian Maeder/local/home/maeder/haskell/runSPASSconsistency.sh
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederdate
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check other examples
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederdate
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederfor i in */*/*.het */*/*.casl; \
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maeder do hets -v2 -o prf,th,pp.het,pp.tex $i; done
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederdate
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederfor i in */*/*.prf; do hets -v2 -o th $i; done
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederdate
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder