9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
+
+
+
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.11 2002/05/17 09:14:58 geraint
## Optimises each line in a separate session. Allows larger models to be built.
##
## Revision 1.10 2002/04/28 18:41:27 geraint
## Fixed [ 549658 ] awk should be gawk.
## Replaced calls to awk with call to gawk.
##
## Revision 1.9 2001/07/27 23:29:10 geraint
## Optimises only when requested (-opt).
##
|
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
+
+
|
optimise=''
while [ -n "`echo $1 | grep '^-'`" ]; do
case $1 in
-optimise)
opt='-optimise'
optimise_msg=' with optimisation' ;;
-fixcc )
include=`echo 'in "'$MTT_LIB'/reduce/fix_c.r";'` ;;
*)
echo "$1 is an invalid argument - ignoring" ;;
esac
shift
done
sys=$1 # System name
|
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
+
|
off echo$
load scope$
on double$
on noconvert$
on rounded$
off int$
off nat$
$include
out "$tmp2"$
EOF
} > $tmp
echo "optimize" >> $tmp
grep -i -e "^$lhs" $dae |\
|