14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Remove the old log file
rm -f obs_r2m.log
rm -f $1_obs.m?
rm -f $1_obsa.m
# Is the system affine (look in the _obs.r file
affine=`grep 'affine :=' $1_obs.r | awk '{print $3}' | sed 's/;//'`
# Use reduce to accomplish the transformation
$SYMBOLIC >obs_r2m.log << EOF
%Read the reduce definitions file
in "$1_def.r";
|
|
|
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Remove the old log file
rm -f obs_r2m.log
rm -f $1_obs.m?
rm -f $1_obsa.m
# Is the system affine (look in the _obs.r file
affine=`grep 'affine :=' $1_obs.r | gawk '{print $3}' | sed 's/;//'`
# Use reduce to accomplish the transformation
$SYMBOLIC >obs_r2m.log << EOF
%Read the reduce definitions file
in "$1_def.r";
|