11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder#!/bin/bash -x
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian MaederHETS_LIB=/local/home/maeder/CASL-lib
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederexport PATH
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maederexport HETS_LIB
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maedercd /local/home/maeder
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maederrm -rf CASL-lib
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maedercvs -d \
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maeder :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository \
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maeder co -P CASL-lib
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maedercd CASL-lib
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder
11ad38296d4182aac74ce6d5bef27911fbc9690dChristian Maeder# check differences of *.pp.het and *.pp.pp.het
9c72f9ad18c36a9c20c79b58b358da56f341b204Christian Maederhets -v2 -o pp.het Basic/*.casl
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
f63542473cfd142d1d19f2abdf7f8b10679c9716Christian Maederhets -v2 -o dfg.c Basic/*.casl UserManual/*.casl
806fd9e08b8b68eeeb0eccfd8892046a2985e594Christian Maederdate
39e3d1e1f233b34567824f0ac8c942ff63586349Christian Maedercp /local/home/maeder/haskell/spass_consistency_patterns.txt .
f63542473cfd142d1d19f2abdf7f8b10679c9716Christian Maeder/local/home/maeder/haskell/runSPASSconsistency.sh */*.dfg.c
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