tamarin-prover: use the packaged alex/happy instead of cabal's own (intermittent amd64 failure) - #609

#!/bin/sh
set -eu

printf '%s\n' '--- script header and relevant context ---'
sed -n '1,25p' packages/tamarin-prover/build.sh
sed -n '105,150p' packages/tamarin-prover/build.sh

printf '%s\n' '--- shell implementations available ---'
command -v sh || true
command -v dash || true
command -v bash || true

printf '%s\n' '--- errexit behavior for assignment with failed command substitution ---'
for shell in /bin/sh /bin/dash /bin/bash; do
  if [ -x "$shell" ]; then
    "$shell" -c '
      set -e
      value="$(command -v __review_missing_command__)"
      printf "continued: value=<%s>\n" "$value"
    ' >/tmp/review-shell-out 2>/tmp/review-shell-err
    status=$?
    printf '%s: status=%s stdout=%s stderr=%s\n' \
      "$shell" "$status" \
      "$(tr "\n" "|" </tmp/review-shell-out)" \
      "$(tr "\n" "|" </tmp/review-shell-err)"
  fi
done

printf '%s\n' '--- explicit fallback behavior ---'
/bin/sh -c '
  set -e
  value="$(command -v __review_missing_command__ || true)"
  printf "continued: value=<%s>\n" "$value"
'

#!/bin/sh
set -u

printf '%s\n' '--- remaining build context ---'
sed -n '140,180p' packages/tamarin-prover/build.sh

printf '%s\n' '--- bash errexit behavior ---'
/bin/bash -c '
  set -e
  value="$(command -v __review_missing_command__)"
  printf "continued: value=<%s>\n" "$value"
' >/tmp/review-bash-out 2>/tmp/review-bash-err
status=$?
printf 'plain assignment: status=%s stdout=%s stderr=%s\n' \
  "$status" "$(tr "\n" "|" </tmp/review-bash-out)" "$(tr "\n" "|" </tmp/review-bash-err)"

/bin/bash -c '
  set -e
  value="$(command -v __review_missing_command__ || true)"
  printf "continued: value=<%s>\n" "$value"
' >/tmp/review-bash-out 2>/tmp/review-bash-err
status=$?
printf 'explicit fallback: status=%s stdout=%s stderr=%s\n' \
  "$status" "$(tr "\n" "|" </tmp/review-bash-out)" "$(tr "\n" "|" </tmp/review-bash-err)"

printf '%s\n' '--- relevant command-v assignments ---'
rg -n -C 2 'command -v (alex|happy)|set [+-]e' packages/tamarin-prover/build.sh

#!/bin/sh
set -eu
rg -n -C 4 \
  'LD_LIBRARY_PATH|ghc --print-libdir|ALEX_BIN|HAPPY_BIN|--with-alex|--with-happy' \
  packages/tamarin-prover/build.sh packages/haskell-language-server/build.sh

#!/bin/sh
set -eu
printf '%s\n' '--- tamarin build script header and relevant setup ---'
sed -n '1,180p' packages/tamarin-prover/build.sh
printf '%s\n' '--- all tamarin library-path and shell-mode references ---'
rg -n -C 3 'LD_LIBRARY_PATH|ghc --print-libdir|#!/|set \+[euo]|PIPESTATUS|cabal build|command -v alex|command -v happy' packages/tamarin-prover/build.sh
printf '%s\n' '--- package metadata ---'
fd -i -t f 'build.ncl' packages/tamarin-prover packages/haskell-language-server -x sh -c 'echo "--- $1"; sed -n "1,180p" "$1"' sh {}

#!/bin/bash
set -euo pipefail
printf '%s\n' '--- packaged generator build scripts ---'
for d in packages/alex packages/happy packages/ghc packages/base; do
  if [ -f "$d/build.sh" ]; then
    echo "--- $d/build.sh"
    sed -n '1,180p' "$d/build.sh"
  fi
done
printf '%s\n' '--- library-path setup in related Haskell packages ---'
rg -n -C 3 'LD_LIBRARY_PATH|ghc --print-libdir|GHC_LIBDIR|command -v alex|command -v happy' packages --glob 'build.sh' --glob 'build.ncl' | head -250
printf '%s\n' '--- generator package metadata ---'
for f in packages/alex/build.ncl packages/happy/build.ncl packages/ghc/build.ncl; do
  if [ -f "$f" ]; then
    echo "--- $f"
    sed -n '1,180p' "$f"
  fi
done

python3 - <<'PY'
from pathlib import Path
tamarin = Path("packages/tamarin-prover/build.sh").read_text()
alex = Path("packages/alex/build.sh").read_text()
happy = Path("packages/happy/build.sh").read_text()
alex_ncl = Path("packages/alex/build.ncl").read_text()
happy_ncl = Path("packages/happy/build.ncl").read_text()
hls = Path("packages/haskell-language-server/build.sh").read_text()

cut = tamarin.index('ALEX_BIN=')
setup = tamarin[:cut]
checks = {
    "tamarin uses bash strict mode": tamarin.startswith("#!/bin/bash\nset -euo pipefail"),
    "tamarin sets GHC library path before generators": (
        "ghc --print-libdir" in setup and "LD_LIBRARY_PATH" in setup
    ),
    "alex is built with GHC": "ghc --make" in alex,
    "happy is built with GHC": "ghc --make" in happy,
    "alex declares GHC runtime libraries": all(x in alex_ncl for x in ("base,", "gmp,")),
    "happy declares GHC runtime libraries": all(x in happy_ncl for x in ("base,", "gmp,")),
    "analogous HLS setup exports GHC library path": (
        "GHC_LIBDIR=\"$(ghc --print-libdir)\"" in hls
        and 'export LD_LIBRARY_PATH="${GHC_LIBDIR}:${LD_LIBRARY_PATH:-}"' in hls
    ),
}
for name, result in checks.items():
    print(f"{name}: {'PASS' if result else 'FAIL'}")
PY

#!/bin/sh
set -eu
rg -n -C 3 '/tmp/tam-build\.log|mktemp|trap' packages/tamarin-prover/build.sh

#!/bin/sh
set -eu
printf '%s\n' '--- build script header and relevant block ---'
sed -n '1,18p;120,165p' packages/tamarin-prover/build.sh
printf '%s\n' '--- related temporary-path conventions ---'
rg -n -C 2 '(/tmp/|mktemp|TMPDIR|trap)' packages/*/build.sh | head -200
printf '%s\n' '--- repository build isolation references ---'
rg -n -i -C 2 'sandbox|private /tmp|TMPDIR|concurrent builds|parallel builds' AGENTS.md README.md packages 2>/dev/null | head -200

#!/bin/sh
set -eu
printf '%s\n' '--- sandbox and build-runner semantics ---'
rg -n -i -C 4 'build sandbox|sandbox.*(/tmp|tmp)|/tmp.*sandbox|private.*tmp|tmp.*private|mount.*tmp|temporary directory' AGENTS.md docs cmd internal pkg packages 2>/dev/null | head -300
printf '%s\n' '--- build execution entry points ---'
rg -n 'build\.sh|OUTPUT_DIR|sandbox' --glob '*.go' --glob '*.ncl' --glob '*.md' --glob '*.sh' . | head -300