make-all-poly
author lcp
Thu May 04 02:01:49 1995 +0200 (1995-05-04)
changeset 1108 22b256c8c9fb
parent 699 2da262e85c4d
permissions -rwxr-xr-x
case is defined using pattern-matching
     1 #! /bin/sh
     2 #$Id$
     3 #Make entire system using Poly/ML
     4 #Pathnames will have to be modified for your site
     5 ML_DBASE=/usr/groups/theory/poly/polyml/`arch`/ML_dbase
     6 ISABELLEBIN=/homes/`whoami`/dbases
     7 ISABELLECOMP="poly -noDisplay -h 15000"
     8 export ML_DBASE ISABELLEBIN ISABELLECOMP 
     9 nohup make-all $*