#!/bin/bash

cd `dirname $0`

#this guess could be improved
if [ -n "$IOPBINDIR" ] && [ -a "${IOPBINDIR}/iop" ]
then
    echo USING EXTERNAL IOP LOCATED AT: $IOPBINDIR
else
    echo USING INTERNAL IOP
    IOPBINDIR=${PWD}/../../bin/IOP
    export IOPBINDIR
    MAUDE_LIB=${PWD}/../../bin/Maude
    export MAUDE_LIB
    PATH=${IOPBINDIR}:${MAUDE_LIB}:${PATH}
    export PATH
fi


iop -s 7774


