author | lcp |
Mon, 11 Jul 1994 16:29:21 +0200 | |
changeset 455 | 466dd59b3645 |
parent 370 | e95e212512d1 |
child 547 | 23e30d32cd0d |
permissions | -rwxr-xr-x |
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 $*