#!/bin/sh

HW=`uname -m`
OS=`uname -s`

if [ $OS = "Linux" ]; then
	if echo $HW | egrep -i 'i.*86' >/dev/null; then
		DEST=Linux_Intel
	elif echo $HW | egrep -i 'alpha' >/dev/null; then
		DEST=Linux_Alpha
	elif echo $HW | egrep -i 'sparc' >/dev/null; then
		DEST=Linux_Sparc
	else
		DEST=Linux_Other
	fi
elif [ $OS = "SunOS" -o $OS = "Solaris" ]; then
	if echo $HW | egrep -i 'i.*86' >/dev/null; then
		DEST=Solaris_Intel
	else
		DEST=Solaris_Sparc
	fi
elif [ $OS = "OSF1" ]; then
	DEST=OSF1_Alpha
else
	echo unsuported platform
	exit 1
fi

echo              >Make.def
echo "DEST=$DEST" >>Make.def
cat Make.def.base >>Make.def

echo configured for $DEST
