mptp_wrap.sh

#!/usr/bin/env bash
set -euo pipefail
MPTP="${MPTP_CMD:-/usr/local/bin/mptp}"
MODE="${1:---ml}"; shift || true
TREE="$1"; shift || true
OUT="$1"; shift || true
SEED="${1:-42}"

if [[ ! -s "$TREE" ]]; then
  echo "[mptp-wrap] ERROR: tree file missing: $TREE" >&2; exit 2
fi
mkdir -p "$(dirname "$OUT")"

try() {
  echo "[mptp-wrap] trying: $MPTP $MODE $1 $TREE --out $OUT --seed $SEED" >&2
  "$MPTP" "$MODE" $1 "$TREE" --out "$OUT" --seed "$SEED" >/dev/null 2> >(tee /tmp/mptp_try.err >&2) && \
  [[ -s "$OUT" ]]
}

# Try likely flags in order:
for FLAG in \
  "--treefile" \
  "--tree_file" \
  "--tree-file" \
  "--tree" \
  "-t"
do
  if try "$FLAG"; then
    echo "[mptp-wrap] ok with $FLAG" >&2
    exit 0
  fi
done

echo "[mptp-wrap] all flag variants failed. Last error:" >&2
cat /tmp/mptp_try.err >&2 || true
exit 1