11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## 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
# 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 |\
awk '{print "mtt", sys, $1, $2}' sys="$1" >$1_rep.txt
fi
# Execute the commands - quietly and untidily!
strip_comments< $1_rep.txt | sed 's/mtt /mtt -q -u /' | tee -a JUNK | sh
echo "Done creating representations for $1_rep.tex"
|
>
>
>
>
>
>
>
>
|
>
>
>
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
# Copyright (c) P.J.Gawthrop, 1996.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## 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 |\
awk '{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"
|