| author | wenzelm |
| Wed, 06 Jul 1994 12:51:27 +0200 | |
| changeset 450 | 382b5368ec21 |
| 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 $* |