#! /bin/csh -f

#
# Do we have the distribution ?   calculate space needed.
#
source scripts/aliases

	if (! -f $dist[1]) then
		E ""
		E "Software distribution $dist is missing"
		E "Installation aborted"
		exit 1
	endif

	E -n "Please wait..."
	set size = ( `cat $dist | ./gunzip | wc -c` )
	@ size = ((($size + 1023) / 1024) * 105) / 100
	E ""
	exit 0
