run.sh 176 B

123456789101112
  1. IN="$(mktemp --suffix .pl)"
  2. OUT="$(mktemp)"
  3. cat > "$IN"
  4. sed -i "1i:- initialization(main).
  5. " "$IN"
  6. gplc --no-top-level -o "$OUT" "$IN"
  7. if [ $? -eq 0 ]; then
  8. exec "$OUT"
  9. fi