#!/bin/csh

echo ""
echo -n Available hosts are:
foreach i (*.def)
if($i:r != "site") then
	echo -n \ $i:r
endif
end
echo ""
echo ""

if($#argv == 0) then
	echo -n "Type of the host machine?[sun] "
	set host=$<
else
	set host=$1
endif

if($host == "") then
	set host = sun
endif

echo ""
if(-e $host.def) then
	echo Setting site definition...
	echo "--> host type is $host"
else
	echo unknown host: $host "--> use default 'sun'"
	set host=sun
endif

rm -f site.def
ln -s $host.def site.def

echo ""
touch *
make depend
make
echo ""
