make-all-poly
changeset 699 2da262e85c4d
parent 547 23e30d32cd0d
equal deleted inserted replaced
698:23734672dc12 699:2da262e85c4d
     1 #! /bin/sh
     1 #! /bin/sh
       
     2 #$Id$
     2 #Make entire system using Poly/ML
     3 #Make entire system using Poly/ML
     3 #Pathnames will have to be modified for your site
     4 #Pathnames will have to be modified for your site
     4 ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase
     5 ML_DBASE=/usr/groups/theory/poly/polyml/`arch`/ML_dbase
     5 ISABELLEBIN=/homes/`whoami`/bin
     6 ISABELLEBIN=/homes/`whoami`/dbases
     6 ISABELLECOMP="poly -noDisplay -h 15000"
     7 ISABELLECOMP="poly -noDisplay -h 15000"
     7 export ML_DBASE ISABELLEBIN ISABELLECOMP 
     8 export ML_DBASE ISABELLEBIN ISABELLECOMP 
     8 nohup make-all $*
     9 nohup make-all $*