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