#!/bin/sh

ulimit -St
ulimit -Ht

echo "sifsmv: |$1|$2|"

sif2smv $1

SMVFILEBASE=`dirname $1`/`basename $1 .sif`

smv ${SIFSMVOPTS} ${SMVFILEBASE}.smv

smv_exit_status=$?

if test $smv_exit_status -ne 0
then
  exit $smv_exit_status
fi

echo smv output file is ${SMVFILEBASE}.out

mv ${SMVFILEBASE}.out sifsmv_temp_file.out
mv sifsmv_temp_file.out $2

