1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
for f in $(find -name '*.re'); do
echo $f
vfile="${f%.re}.v"
vtest="$(dirname $vfile)/example.v"
cat "$vfile" \
| egrep -v 'warning: rule .*matches empty string \[-Wmatch-empty-string\]' \
| egrep -v 'warning: tag .* degree of nondeterminism \[-Wnondeterministic-tags\]' \
> "$vtest"
test -z "$(grep 're2c: error:' $vtest)" || continue
# If the autogenerated message appears more than once in the file, then
# it must have autogenerated header appended at the end. Cut it off.
msg='// Code generated by re2c, DO NOT EDIT.'
if [ $(grep -c "$msg" "$vtest") -gt 1 ]; then
# Get the line of the second message occurrence.
l=$(grep -n "$msg" "$vtest" | tail -n +2 | cut -d : -f 1)
# Cut off everything past that line.
head -n $l "$vtest" > "$vtest".mod && mv "$vtest".mod "$vtest"
fi
v run "$vtest" || { echo "*** error ***"; exit 1; }
rm -f "$vtest"
done
rm -f "$vtest"
echo "All good."
|
