| author | lcp |
| Thu, 23 Jun 1994 17:38:12 +0200 | |
| changeset 437 | 435875e4b21d |
| parent 370 | e95e212512d1 |
| child 547 | 23e30d32cd0d |
| permissions | -rwxr-xr-x |
|
370
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
1 |
#! /bin/sh |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
2 |
#Make entire system using Standard ML of New Jersey |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
3 |
#Pathnames will have to be modified for your site |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
4 |
ISABELLEBIN=/homes/`whoami`/bin |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
5 |
ISABELLECOMP=sml |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
6 |
ISABELLEMAKE=Makefile.NJ |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
7 |
export ISABELLEBIN ISABELLECOMP ISABELLEMAKE |
|
e95e212512d1
make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff
changeset
|
8 |
nohup make-all $* |