#!/bin/bash

PDP8=$(realpath $(dirname "$0")/..)

RB="$PDP8/bin/rb"
S8_DIR="$PDP8/sw/speed8/pdp8"

if [ ! -e "S8_DIR/speed8.bin" ]; then
	make -C "$S8_DIR" || exit 2
fi

"$RB" "$S8_DIR/speed8.bin"