| changeset 3742 | 6fccb16a7e3a |
| parent 3741 | daa5ac720678 |
| child 3743 | fec0f996ae67 |
| 3741:daa5ac720678 | 3742:6fccb16a7e3a |
|---|---|
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 $* |