#!/bin/bash
# Build the Pascal-S syntax validator from pascals.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/pascals.atg" "$B/"
cp "$M2LIB/FileIO.def" "$M2LIB/FileIO.mod" "$B/"
cd "$B"
echo "=== CR ==="; CRFRAMES="$FRAMES" "$CR" -m -C pascals.atg
echo "=== check: no degenerate code ==="
if grep -q "IF FALSE\|WHILE FALSE" PascalSP.mod; then echo "DEGENERATE GENERATION (IF/WHILE FALSE)"; exit 1; fi
echo "=== patch: EOF check ==="
python3 - "$B" <<'PYEOF'
import sys
b = sys.argv[1]
s = open(b + '/PascalSP.mod').read()
old = '    PascalSS.Reset; Get;\n    PascalS;\n\n  END Parse;'
assert old in s, 'EOF patch pattern missing'
s = s.replace(old, '    PascalSS.Reset; Get;\n    IF sym # 0 THEN PascalS END;\n    IF sym # 0 THEN SynError(0) END;\n\n  END Parse;')
open(b + '/PascalSP.mod', 'w').write(s)
print('patched')
PYEOF
echo "=== compile ==="
for m in FileIO PascalSS PascalSP PascalS; 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 PascalSS.o PascalSP.o PascalS.mod || true
"$GM2" -fiso -I . -fuse-list=modules.lst -o PascalS FileIO.o PascalSS.o PascalSP.o PascalS.mod
echo "=== smoke ==="
printf 'program hello (input, output);\nbegin\n  writeln('"'"'hi'"'"');\nend.\n' > Hello.pas
./PascalS Hello.pas
printf 'program t (input, output);\nbegin\nend. GARBAGE\n' > Garbage.pas
if ./PascalS Garbage.pas 2>&1 | grep -q "Incorrect"; then echo "trailing-garbage rejected"; else echo "EOF CHECK FAILED"; exit 1; fi
./PascalS "$HERE/tests/deep.pas"
rm -f Hello.pas Hello.LST Garbage.pas Garbage.LST "$HERE/tests/deep.LST"