#! /bin/sh
######################################
##### Model Transformation Tools #####
######################################
# Bourne shell script: rep_txt2sh
# Executes shell commands for report.
# P.J.Gawthrop August 1996
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.5 2000/11/27 10:13:25 peterg
## Now passes though options as second argument
##
## Revision 1.4 1998/04/14 18:17:15 peterg
## More messages about Makefile
##
## Revision 1.3 1998/04/14 18:01:04 peterg
## Now executes a Makefile (if it exists)
##
# Revision 1.2 1997/12/06 14:27:53 peterg
# No changes.
#
## Revision 1.1 1997/08/26 09:06:11 peterg
## Initial revision
##
###############################################################
# Execute a make if Makefile exists
if [ -f Makefile ]; then
echo Executing the Makefile
make
echo Done executing the Makefile
echo
fi
## Get switches (if any)
mtt_switches=$2
# Inform user
echo "Creating representations for $1_rep.tex"
# Check for old (2 arg) version and update if necessary
mtt_count=`strip_comments < $1_rep.txt | grep -c 'mtt '`
if [ "$mtt_count" = "0" ]; then
echo 'Hmm .. seems to be an old format. creating new file'
echo "Old version saved as $1_rep.txt.SAVE"
mv $1_rep.txt $1_rep.txt.SAVE
strip_comments < $1_rep.txt.SAVE |\
gawk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt
fi
# Execute the commands - quietly and untidily!
# But use switches
strip_comments< $1_rep.txt | sed "s/mtt /mtt -q -u $mtt_switches /" | tee -a JUNK | sh
echo "Done creating representations for $1_rep.tex"