9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.7 2001/04/13 07:14:12 geraint
## Implemented lower level lbl.txt recognition of #NOT[V|P]AR
##
## Revision 1.6 2001/04/10 12:54:50 gawthrop
## Minor fixes for sensitivity versions
##
## Revision 1.5 2000/11/03 14:57:06 peterg
|
>
>
>
|
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.8 2001/07/04 06:00:12 gawthrop
## Fixed a funny with tr - changed SEPS and REPS - something to do with ^
##
## Revision 1.7 2001/04/13 07:14:12 geraint
## Implemented lower level lbl.txt recognition of #NOT[V|P]AR
##
## Revision 1.6 2001/04/10 12:54:50 gawthrop
## Minor fixes for sensitivity versions
##
## Revision 1.5 2000/11/03 14:57:06 peterg
|
90
91
92
93
94
95
96
|
for (j=1;j<=i;j++){
printf("%s%s", comma, sysname[j]);
comma=",";
}
printf("\n")
}' < mtt_sympar.txt >$filename
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
for (j=1;j<=i;j++){
printf("%s%s", comma, sysname[j]);
comma=",";
}
printf("\n")
}' < mtt_sympar.txt >$filename
reserved_words=`\
cat ${MTT_LIB}/reduce/reserved_words.txt |\
awk '{printf "%s ", $0}' |\
tr [a-z] [A-Z]`
sympar_words=`\
cat ${filename} |\
cut -f1 |\
awk '{printf "%s ", $0}' |\
tr [a-z] [A-Z]`
flag=0
for reserved_word in ${reserved_words}; do
for sympar_word in ${sympar_words}; do
if [ ${sympar_word} = ${reserved_word} ]; then
echo "*** MTT Error: ${sympar_word} is reserved (Reduce)"
flag=1
fi
done
done
if [ ${flag} -eq 1 ]; then
exit 1;
fi
|