9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
###############################################################
# Create the reduce output code
def2write_r $1 lde
def2write_r $1 ldeo
#Inform user
echo Creating $1_lde.r
echo Creating $1_ldeo.r
# Remove the old log file
rm -f cse2lde_r.log
# Use reduce to accomplish the transformation
$SYMBOLIC << EOF >cse2lde_r.log
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
|
|
|
|
9
10
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
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 2000/12/28 12:25:13 peterg
## Initial revision
##
###############################################################
optimise=''; optimise_msg=''
while [ -n "`echo $1 | grep '^-'`" ]; do
case $1 in
-optimise)
optimise='-optimise'
optimise_msg=' with optimisation' ;;
*)
echo "$1 is an invalid argument - ignoring" ;;
esac
shift
done
# Create the reduce output code
def2write_r $optimise $1 lde
def2write_r $optimise $1 ldeo
#Inform user
echo Creating $1_lde.r $optimise_msg
echo Creating $1_ldeo.r $optimise_msg
# Remove the old log file
rm -f cse2lde_r.log
# Use reduce to accomplish the transformation
$SYMBOLIC << EOF >cse2lde_r.log
|