#!/bin/csh
echo `pwd`
setenv ANUPQ_GAP_EXEC "/usr/local/bin/gap-3.4"
switch ( `hostname` )
  case 'pell':
  case 'carslaw':
  case 'wintermute':
  case 'wilton':
  case 'apocalypse':
    exec $0-solaris $* ;
    breaksw ;
  case 'pc':
  case 'hal':
  case 'dave':
    exec $0-sgi $* ;
    breaksw ;
  case 'wilson':
    exec $0-sunos $* ;
  default:
    exec $0.ext $* ;
    breaksw ;
endsw
