weekly.sh revision f63542473cfd142d1d19f2abdf7f8b10679c9716
842ae4bd224140319ae7feec1872b93dfd491143fielding#!/bin/bash -x
842ae4bd224140319ae7feec1872b93dfd491143fielding
842ae4bd224140319ae7feec1872b93dfd491143fieldingPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
842ae4bd224140319ae7feec1872b93dfd491143fieldingHETS_LIB=/local/home/maeder/CASL-lib
842ae4bd224140319ae7feec1872b93dfd491143fielding
842ae4bd224140319ae7feec1872b93dfd491143fieldingexport PATH
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbexport HETS_LIB
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbcd /local/home/maeder
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndrm -rf CASL-lib
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndcvs -d \
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository \
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd co -P CASL-lib
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndcd CASL-lib
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb# check differences of *.pp.het and *.pp.pp.het
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbhets -v2 -o pp.het Basic/*.casl
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhcat Basic/*.pp.het > pp1.txt
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianh\rm -f Basic/*.env
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbhets -v2 -o pp.het Basic/*.pp.het
9d129b55f5a43abf43865c6b0eb6dd19bc22aba8ianhcat Basic/*.pp.pp.het > pp2.txt
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbdiff pp1.txt pp2.txt
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb# try consistency check with SPASS
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbhets -v2 -o dfg.c Basic/*.casl UserManual/*.casl
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbdate
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb/local/home/maeder/haskell/runSPASSconsistency.sh */*.dfg.c
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbdate
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb# check other examples
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbdate
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbfor i in */*/*.het */*/*.casl; \
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb do hets -v2 -o prf,th,pp.het,pp.tex $i; done
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbdate
b38846b15c8891c6dec44dcc4f96ca40721bf663rbbfor i in */*/*.prf; do hets -v2 -o th $i; done
a72211e92bab814bfa28ee086ca9b2a1a6095c92chrisddate
b38846b15c8891c6dec44dcc4f96ca40721bf663rbb