changeset 370 | e95e212512d1 |
child 547 | 23e30d32cd0d |
369:5a7194eeb4ed | 370:e95e212512d1 |
---|---|
1 #! /bin/sh |
|
2 #Make entire system using Poly/ML |
|
3 #Pathnames will have to be modified for your site |
|
4 ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase |
|
5 ISABELLEBIN=/homes/`whoami`/bin |
|
6 ISABELLECOMP="poly -noDisplay -h 15000" |
|
7 ISABELLEMAKE=Makefile |
|
8 export ML_DBASE ISABELLEBIN ISABELLECOMP ISABELLEMAKE |
|
9 nohup make-all $* |