run.sh revision 48c29e3b5ebe94aafb40fe57ac185eea74942eb4
af4381d113faafc97340eaaa008840c7fcbcc8fdsf#!/bin/bash
af4381d113faafc97340eaaa008840c7fcbcc8fdsf
af4381d113faafc97340eaaa008840c7fcbcc8fdsfcreateXUpdate ()
af4381d113faafc97340eaaa008840c7fcbcc8fdsf{
af4381d113faafc97340eaaa008840c7fcbcc8fdsff=`dirname $1`/`basename $1 .het`
af4381d113faafc97340eaaa008840c7fcbcc8fdsfhets -v2 -o xml $f
af4381d113faafc97340eaaa008840c7fcbcc8fdsfmv $f.xml $f.xh
af4381d113faafc97340eaaa008840c7fcbcc8fdsfhets -v2 -A -o xml $f
af4381d113faafc97340eaaa008840c7fcbcc8fdsfmv $f.xml $f.xhi
af4381d113faafc97340eaaa008840c7fcbcc8fdsfcp $1 $1.bak
af4381d113faafc97340eaaa008840c7fcbcc8fdsfdiff -u $1 $2 > patch
af4381d113faafc97340eaaa008840c7fcbcc8fdsfpatch $1 patch
af4381d113faafc97340eaaa008840c7fcbcc8fdsfhets -v2 -o xml $f
af4381d113faafc97340eaaa008840c7fcbcc8fdsfmv $f.xml $f.new.xh
af4381d113faafc97340eaaa008840c7fcbcc8fdsfcp $1.bak $1
af4381d113faafc97340eaaa008840c7fcbcc8fdsfdir=`pwd`
af4381d113faafc97340eaaa008840c7fcbcc8fdsfb2=`basename $2 .het`
af4381d113faafc97340eaaa008840c7fcbcc8fdsfpushd $HETS_GMOC
af4381d113faafc97340eaaa008840c7fcbcc8fdsfrm -f tmp/*.xupdate
af4381d113faafc97340eaaa008840c7fcbcc8fdsfbin/gmoc -c Configuration.xml -itype file moc \
af4381d113faafc97340eaaa008840c7fcbcc8fdsf $dir/$f.xh $dir/$f.xhi $dir/$f.new.xh
af4381d113faafc97340eaaa008840c7fcbcc8fdsfmv tmp/*.xupdate $dir/$b2.xupdate
af4381d113faafc97340eaaa008840c7fcbcc8fdsfpopd
af4381d113faafc97340eaaa008840c7fcbcc8fdsf}
af4381d113faafc97340eaaa008840c7fcbcc8fdsf
af4381d113faafc97340eaaa008840c7fcbcc8fdsffor i in Spec.het
af4381d113faafc97340eaaa008840c7fcbcc8fdsfdo
7f0952c0239ea2d6e37b472db6fde4ef2718343dsf for j in Add Remove Modify
af4381d113faafc97340eaaa008840c7fcbcc8fdsf do
af4381d113faafc97340eaaa008840c7fcbcc8fdsf for k in Symbol Axiom
16a0ba19b2cecf27e48c0c197ae1f3a96f447949sf do createXUpdate $i $j$k$i
af4381d113faafc97340eaaa008840c7fcbcc8fdsf done
af4381d113faafc97340eaaa008840c7fcbcc8fdsf done
af4381d113faafc97340eaaa008840c7fcbcc8fdsfdone
efb3a31a4ca193ac8629a4c039d481c29171d6e0sf