#! /bin/csh -f

set usage = "$0 -name NAME -maxScale MAXSCALE"

while ( ( $#argv > 0 ) && ( "x$1" =~ x-* ) ) 
  if ( ( $#argv >= 2 ) && ( "x$1" == "x-name" ) ) then
    set name = "$2"; shift; shift;
  else if ( ( $#argv >= 2 ) && ( "x$1" == "x-maxScale" ) ) then
    set maxScale = "$2"; shift; shift;
  else
    echo "usage: ${usage}"; exit 1
  endif
end

if ( $#argv != 0 ) then
  echo "usage: ${usage}"; exit 1
endif

set scale = 1
while ( ${scale} < ${maxScale} )
  set inFile = `printf "${name}-%04d.pgm"  ${scale}`
  @ scale = 2 * ${scale}
  set outFile = `printf "${name}-%04d.pgm"  ${scale}`
  cat ${inFile} | pnmscale 0.5 | pnmdepth 255 > ${outFile} 
  set inFile = "${outFile}"
end