makedim

   1 #!/bin/sh
   2 set -e
   3 fail () { echo >&2 "$*"; exit 127; }
   4 badusage () { fail 'usage: makedim <xbits><ybits> [<targets>]'; }
   5
   6 case $1 in
   7 [0-9][0-9]) ;;
   8 *) badusage ;;
   9 esac
  10
  11 dim=$1; shift
  12 dir=dim,$dir
  13
  14 x () { echo >&2 "    $*"; "$@"; }
  15
  16 x make clean >/dev/null
  17 x mkdir -p $dir
  18 x make -C $dir DIMCFLAGS=-DDEFBITS=$dim PERLLIB=.. SGTATHAM=../sgtatham VPATH=.. -f ../Makefile "$@"