#!/bin/sh

# set -v

verbose=1

# if [ $# -gt 0 ]
# then	if [ $1 = "-v" ]
# 	then	verbose=1
# 		shift
# fi	fi

if [ $# -eq 0 ]
then	echo "usage: verify [file.c | clean]"
	exit 1
fi

if [ $verbose -eq 1 ]
then
	case $1 in
	clean)
		rm -f pan.? pan model model.trail _modex* *.M *.nlut
		exit 0
		;;
	*)
		echo ""
		echo "	Extract Model:"
		echo "	=============="
		echo modex $1
		;;
	esac

fi

if modex $1
then	rm -f model*.trail pan.?
	if [ $verbose -eq 1 ]
	then	echo ""
		echo "	Compile and Run:"
		echo "	================"
		echo sh _modex_.run
	fi
	sh _modex_.run
else
	exit 1
fi
if [ -f model.trail ]
then
	if [ $verbose -eq 1 ]
	then	echo ""
		echo "	Error Found:"
		echo "	============"
		echo pan -C
	fi

	./pan -C	;# or pan -r
else
	if [ $verbose -eq 1 ]
	then	echo ""
		echo "No Errors Found"
	fi
fi
