Theia-Modula-2/grammars/P4/build.sh

#!/bin/bash
# Build the P4 Pascal syntax validator from p4_pascal.atg.
# Needs: CR (Coco/R V1.53), gm2 -fiso, parser/scanner frames, FileIO.
# Note: link via the two-step module list; a single-step link trips
# over pre-existing errors in this gm2 build's own ISO library .defs.
set -e
CR="${CR:-/home/eric/Projets/Projets-Modula2/MyWork/CocoGm2/CR}"
GM2="${GM2:-/home/eric/bin/Modula2/Gm2/bin/gm2}"
FRAMES="${CRFRAMES:-/home/eric/Projets/Projets-Modula2/MyWork/Theia/GNU-grammar/build}"
M2LIB="${M2LIB:-/home/eric/Projets/Projets-Modula2/MyWork/Theia/GNU-grammar/build}"
HERE="$(cd "$(dirname "$0")" && pwd)"
B="$HERE/build"
rm -rf "$B"
mkdir -p "$B"
cp "$HERE/p4_pascal.atg" "$B/"
cp "$M2LIB/FileIO.def" "$M2LIB/FileIO.mod" "$B/"
cd "$B"
echo "=== CR ==="; CRFRAMES="$FRAMES" "$CR" -m -C p4_pascal.atg
echo "=== patch: EOF check ==="
python3 - "$B" <<'PYEOF'
import sys
b = sys.argv[1]
s = open(b + '/P4P.mod').read()
old = '    P4S.Reset; Get;\n    P4;\n\n  END Parse;'
assert old in s, 'EOF patch pattern missing'
s = s.replace(old, '    P4S.Reset; Get;\n    P4;\n    IF sym # 0 THEN SynError(0) END;\n\n  END Parse;')
open(b + '/P4P.mod', 'w').write(s)
print('patched')
PYEOF
echo "=== check: no degenerate code ==="
if grep -q "IF FALSE\\|WHILE FALSE" P4P.mod; then echo "DEGENERATE GENERATION (IF/WHILE FALSE)"; exit 1; fi
echo "=== compile ==="
for m in FileIO P4S P4P P4; do "$GM2" -fiso -I . -c "$m.mod"; done
echo "=== link ==="
# NOTE: the gen step exits 1 on pre-existing errors in gm2's own
# ISO library .defs, but still writes a usable modules.lst.
"$GM2" -fiso -I . -fgen-module-list=modules.lst -o /dev/null FileIO.o P4S.o P4P.o P4.mod || true
"$GM2" -fiso -I . -fuse-list=modules.lst -o P4 FileIO.o P4S.o P4P.o P4.mod
echo "=== smoke ==="
printf 'PROGRAM Hello;\nBEGIN\n  WriteLn('"'"'hi'"'"');\nEND.\n' > Hello.pas
./P4 Hello.pas
printf 'PROGRAM T;\nBEGIN\nEND. GARBAGE\n' > Garbage.pas
if ./P4 Garbage.pas 2>&1 | grep -q "Incorrect"; then echo "trailing-garbage rejected"; else echo "EOF CHECK FAILED"; exit 1; fi
./P4 "$HERE/tests/deep.pas"
rm -f Hello.pas Hello.LST Garbage.pas Garbage.LST "$HERE/tests/deep.LST"