#!/bin/bash

SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"

if [ "$#" -lt 1 ]; then
    echo "Usage: $0 filename.iog [input1 input2 ...]"
    exit 1
fi

FILENAME="$1"

shift

"$SCRIPT_DIR/iogii" "$FILENAME" -e > temp.ism && "$SCRIPT_DIR/engine" temp.ism "$@"
