#! /bin/csh -f
# Last edited on 2000-09-05 21:19:29 by stolfi

set usage = "$0 NAME CMD [ RANGE ] "

set rootdir = ${STOLFIHOME}/programs/awk/makemap
set tooldir = "${rootdir}/tools"
set datadir = "${rootdir}/DATA"

if ( ( $#argv < 2 ) && ( $#argv > 3 ) ) then
  echo "usage: ${usage}"; exit 1
endif

set name = "$1"; shift
set cmd = "$1"; shift

set mapdir = "${rootdir}/${name}"

if ( $#argv > 0 ) then
  set range = "$1"; shift;
  source ${mapdir}/${name}-${range}.range
else
  set range = "NONE"; 
  set XRANGE = ( ); set YRANGE = ( )
endif

cd ${mapdir} 
make -f ${tooldir}/map.make \
  NAME="${name}" XRANGE="${XRANGE}" YRANGE="${YRANGE}" ${cmd}