equal
deleted
inserted
replaced
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 $* |