#!/bin/sh
if [ ! -n "$SETHEOHOME" ]; then
	SETHEOHOME="/home/setheo/bin.sun4"
fi

INWASM="$SETHEOHOME/inwasm"
INWASM_FLAGS="-cons"
WASM="$SETHEOHOME/wasm"
WASM_FLAGS="-opt -verbose"
SAM="$SETHEOHOME/sam"
SAM_FLAGS="-cons -dr"
if [ $# -ne 1 ]; then
	echo "*** Error: wrong number of arguments";
	echo "*** Usage: setheo <lop-file-basename>";
	exit 1;
else 
	if [ ! -f $1.lop ]; then
		echo "*** Error: file $1.lop does not exist";
	        echo "*** Usage: setheo <lop-file-basename>";
		exit 1;
	else 
		$INWASM $INWASM_FLAGS $1;
		if [ $? -eq 0 ]; then
			$WASM $WASM_FLAGS $1;
			if [ $? -eq 0 ]; then
				$SAM $SAM_FLAGS $1;
				exit $?
			else
				exit 1;
			fi
		else 
			exit 1;
		fi
	fi
fi
