src/Tools/make-all-poly
changeset 547 23e30d32cd0d
parent 370 e95e212512d1
child 699 2da262e85c4d
equal deleted inserted replaced
546:36e40454e03e 547:23e30d32cd0d
     2 #Make entire system using Poly/ML
     2 #Make entire system using Poly/ML
     3 #Pathnames will have to be modified for your site
     3 #Pathnames will have to be modified for your site
     4 ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase
     4 ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase
     5 ISABELLEBIN=/homes/`whoami`/bin
     5 ISABELLEBIN=/homes/`whoami`/bin
     6 ISABELLECOMP="poly -noDisplay -h 15000"
     6 ISABELLECOMP="poly -noDisplay -h 15000"
     7 ISABELLEMAKE=Makefile
     7 export ML_DBASE ISABELLEBIN ISABELLECOMP 
     8 export ML_DBASE ISABELLEBIN ISABELLECOMP ISABELLEMAKE
       
     9 nohup make-all $*
     8 nohup make-all $*