#!/bin/csh -f
#
# This csh script uses the HOST environment variable
# to decide how to configure this machine after the files
# have been distributed via the remote distribution software.
# This variable is most usually set in the .cshrc file.
#
# usage: RDIST

switch( $HOST )
	case watmsg:
		./CONFIGURE dec bsd43 vax imperial
		breaksw
	case watcgl:
		./CONFIGURE dec bsd43 mips imperial
		breaksw
	case calypso:
		./CONFIGURE apollo bsd43 m68k imperial
		breaksw
	case lily
		./CONFIGURE sun bsd43 m68k imperial
		breaksw
	case ohm:
		./CONFIGURE sun bsd43 i386 imperial
		breaksw
	case bluebox:
		./CONFIGURE ibm aix rs6000 imperial
		breaksw
	case maxwell:
		./CONFIGURE hp bsd43 pa7000 imperial
		breaksw
	case tolstoy:
	case plg:
	case cayley:
		./CONFIGURE sun bsd43 sparc imperial
		breaksw
	case physeter:
	case setosa:
		./CONFIGURE sgi irix mips imperial
		breaksw
	case daisy:
	case math:
		./CONFIGURE mips bsd43 mips imperial
		breaksw
	case maytag:
		./CONFIGURE sequent bsd43 i386 imperial
		breaksw
	case doc:
		./CONFIGURE sequent bsd43 ns32k imperial
		breaksw
	case sybil:
	case sybil.cs.Buffalo.EDU:
		./CONFIGURE encore umax ns32k imperial
		breaksw
	case basser:
	case mango:
		./CONFIGURE mips bsd43 mips metric
		breaksw
	default:
		echo "I don't know what $HOST is."
		breaksw
endsw
