changeset 370 | e95e212512d1 |
child 547 | 23e30d32cd0d |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/make-all-poly Fri May 13 11:10:14 1994 +0200 @@ -0,0 +1,9 @@ +#! /bin/sh +#Make entire system using Poly/ML +#Pathnames will have to be modified for your site +ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase +ISABELLEBIN=/homes/`whoami`/bin +ISABELLECOMP="poly -noDisplay -h 15000" +ISABELLEMAKE=Makefile +export ML_DBASE ISABELLEBIN ISABELLECOMP ISABELLEMAKE +nohup make-all $*