make-all-nj
author nipkow
Tue, 09 May 1995 22:10:08 +0200
changeset 1114 c8dfb56a7e95
parent 547 23e30d32cd0d
permissions -rwxr-xr-x
Prod is now a parent of Lfp. Added thm induct2 to Lfp. Changed the way patterns in abstractions are pretty printed. It has become simpler now but fails if split has more than one argument because then the ast-translation does not match.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
547
23e30d32cd0d deleted obsolete references to ISABELLEMAKE
lcp
parents: 370
diff changeset
     6
export ISABELLEBIN ISABELLECOMP 
370
e95e212512d1 make-all-poly, make-all-nj: restored to main directory as examples
lcp
parents:
diff changeset
     7
nohup make-all $*